Publications

Preprints

Journal papers

  • Disjunctive bases: normal forms and model theory for modal logics. (Joint with Yde Venema.) Logical Methods in Computer Science 2019.
  • Completeness for μ-calculi: a coalgebraic approach. (Joint with Fatemeh Seifan and Yde Venema.) Annals of Pure and Applied Logic 2018.
  • A new game equivalence, its logic and algebra. (Joint with Johan van Benthem and Nick Bezhanishvili.) Journal of Philosophical Logic 2018.
  • A propositional dynamic logic for instantial neighborhood semantics. (Joint with Johan van Benthem and Nick Bezhanishvili.) Studia Logica 2018.
  • Flat modal fixpoint logics with the converse modality. Journal of Logic and Computation 2018.
  • Completeness for the modal μ-calculus: separating the dynamics from the combinatorics. (Joint with Fatemeh Seifan and Yde Venema.)  Theoretical Computer Science 2018.
  • Bisimulations for coalgebras on Stone spaces. (Joint with Sumit Sourabh.) Journal of Logic and Computation 2018.
  • Instantial neighborhood logic. (Joint with Johan van Benthem, Nick Bezhanishvili and Junhua Yu.) Review of Symbolic Logic 2017.
  • An expressive completeness theorem for coalgebraic modal μ-calculi. (Joint with Fatemeh Seifan and Yde Venema). Logical Methods in Computer Science 2017.
  • A new coalgebraic Lindström theorem. Journal of Logic and Computation 2014.
  • A general Lindström theorem for some normal modal logics. Logica Universalis 2013.
  • Modelling epistemic actions in interrogative belief revision.  Journal of Logic and Computation 2011.
  • Interrogative belief revision based on epistemic strategies. Studia Logica 2011.
  • Contraction in interrogative belief revision. Erkenntnis 2010.
  • Interrogative belief revision in modal logic. Journal of philosophical logic 2009.

Papers in peer-reviewed conference proceedings

  • Completeness for game logic. (Joint with Helle Hvid Hansen, Clemens Kupke, Johannes Marti and Yde Venema.) Proceedings of LICS 2019.
  • Socially friendly and group protecting coalition logics. (Joint with Valentin Goranko.) Proceedings of AAMAS 2018.
  • Disjunctive bases: normal forms for modal logics. (Joint with Yde Venema.) Proceedings of CALCO 2017.
  • A propositional dynamic logic for instantial neighborhood models. (Joint with Johan van Benthem and Nick Bezhanishvili.) Proceedings of LORI 2017.
  • A new game equivalence and its modal logic. (Joint with Johan van Benthem and Nick Bezhanishvili.) Proceedings of TARK 2017.
  • Completeness for coalgebraic fixpoint logic. (Joint with Fatemeh Seifan and Yde Venema). Proceedings of CSL 2016.
  • Monadic second-order logic and bisimulation invariance for coalgebras. (Joint with Fatemeh Seifan and Yde Venema). Proceedings of LICS 2015.
  • A coalgebraic view of characteristic formulas in equational modal fixpoint logics. (Joint with Joshua Sack.) Proceedings of CMCS 2014.
  • Homomorphisms of coalgebras from predicate liftings. Proceedings of CALCO 2013.