Research interests & current research projects
short vitae
graduate students
events and activities
some links
mail to V.Goranko

Back to my home page

Current main research interests: theory and applications of logic to agency and multi-agent systems, artificial intelligence, computer science, philosophy, and game theory.

Here is an incomplete list (in a roughly descending order of actuality) of logics and topics of my current or recent interest:


  • Modal and temporal logics in general;
  • Logics of agency and multi-agent systems;
  • Logics of games and logic games;
  • Logics of knowledge and belief;
  • Logics of programs, processes, actions;
  • Logics of spatial reasoning, esp. modal logics of geometric structures;
  • Point based and interval based temporal logics;
  • 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.

Current main research projects  
Back to my home page

Last updated: December 2017

(Will be updated again, sometime in the future...)