Course page Home page Home page CoursesNew course

Temporal and dynamic logic: Mathematical Logic course | Zoonk

49. Temporal and dynamic logic

Formalizes claims about time, state changes, actions, and programs. Learners work with linear and branching temporal logics, dynamic logic, transition systems, and temporal specifications.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc