Logics

• Modal and temporal logics in general;
• Logics of agency and multi-agent systems;
• Logics of games and games in logic;
• Logics of knowledge and belief;
• Logics of programs, processes, actions;
• Logics of spatial reasoning, esp. modal logics of geometric structures;
• Interval temporal logics

Topics

• Formal models, semantics, expressiveness and definability;
• Decidability and decision methods, esp. tableau-based decision methods;
• Model checking and model synthesis;
• Multi-agent systems: knowledge, information exchange, strategic reasoning;
• Logical theories of trees;
• Axiomatizations and completeness;
• Model theory of modal logics;
• Algorithmic correspondence between modal logic and first-order logic;
• Symbolic model checking in infinite state structures;
• Finitely presentable infinite structures;
• Game theory: combining quantitative and qualitative reasoning about multi-player games; non-cooperative games with preplay negotiations,
• Logic in graph theory;
• Finite model theory and 0-1 laws;

Main research projects

• Dynamical multi-agent systems: modelling, algorithmic verification and synthesis.
  Project funded by the Swedish Research council (Vetenskapsrådet) during 2016-2019.
• Logics for agency and multi-agent systems.
• Tableau-based logical decision methods.
• Logical theories of trees.
• Pure coordination games.
• Non-cooperative games with preplay negotiations.
• Secure aggregation of distributed information in multi-agent systems.