1. Logics and artificial intelligence
    • I develop formal methods for reasoning about AI concepts, that may be applied for the design of intelligent agents.
  2. Logic and pedagogy.
    • I claim that logic is powerful but not well advertized. I develop softwares to promote the education in logic.

Research interests

Epistemic and spatial reasoning

It is kind of an art to model a real situation with a Kripke structure for evaluating epistemic formulas. I propose an approach where the Kripke structure is inferred from positions of the agents. It leads to open questions about geometry and logic.

Planning in Dynamic epistemic logic

Dynamic epistemic logic is a logic for reasoning what agents know, what agents know about what agents know, etc. about actions that modify the world and knowledge. I classify decision problems in Dynamic epistemic logic in terms of complexity.

Action, knowledge and emotions

In the past, I worked on STIT (see-to-it-that) logic. I classified decision problems and I modelled counterfactual emotions such as regret. For instance, we can reason about properties such as `I did not know that you regret your action'.