- Modal logics in general;
- Temporal logics, incl:
- interval temporal logics,
- computation tree logics;
- real-time logics,
- hybrid modal and temporal logics;
- Logics of multi-agent systems;
- Logics of games;
- Logics of programs, processes, actions;
- Logics for dynamical, hybrid, and control systems;
- Logics of spatial reasoning, esp. modal logics of geometric structures;
- Logics of knowledge and belief;
- Modal mu-calculus.
|
|
- semantics;
- expressiveness and definability;
- algorithmic correspondence between modal logic and first-order logic;
- axiomatizations and completeness;
- decidability;
- model theory of modal logics;
- proof theory of modal and temporal logics, esp. tableau systems;
- model checking, esp. symbolic model checking in infinite state structures;
- finitely presentable infinite structures;
- logic and games;
- topological methods in logic;
- logic in graph theory;
- program verification;
- automated theorem proving;
- finite model theory and 0-1 laws.
|
