Publications

Proof theory

  • Herband schemes for cyclic proofs. (Joint with Bahareh Afshari and Graham Leigh.) Preprint available here.
  • Herbrand schemes for first-order logic. (Joint with  Bahareh Afshari and Graham Leigh.) Preprint available here.

Fixed-point logics & automata

  • Proof systems for two-way modal μ-calculus. (Joint with Bahareh Afshari, Graham Leigh, Johannes Marti and Yde Venema.) Journal of Symbolic Logic 2023.
  • Cyclic proofs for the first-order μ-calculus. (Joint with Bahareh Afshari and Graham Leigh.) Logic Journal of the IGPL 2022.
  • A circular proof system for the hybrid μ-calculus. Proceedings of AiML 2020.
  • 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.
  • Completeness for the modal μ-calculus: separating the dynamics from the combinatorics. (Joint with Fatemeh Seifan and Yde Venema.)  Theoretical Computer Science 2018.
  • Flat modal fixpoint logics with the converse modality. Journal of Logic and Computation 2018.
  • Disjunctive bases: normal forms for modal logics. (Joint with Yde Venema.) Proceedings of CALCO 2017.
  • An expressive completeness theorem for coalgebraic modal μ-calculi. (Joint with Fatemeh Seifan and Yde Venema). Logical Methods in Computer Science 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.

Modal & coalgebraic logic

  • Duality for instantial neighborhood logic via coalgebra. (Joint with Nick Bezhanishvili and Jim de Groot.) Proceedings of CMCS 2020.
  • 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.
  • A new coalgebraic Lindström theorem. Journal of Logic and Computation 2014.
  • Homomorphisms of coalgebras from predicate liftings. Proceedings of CALCO 2013.
  • A general Lindström theorem for some normal modal logics. Logica Universalis 2013.

Logic & games

  • The temporal logic of coalitional goal assignments in concurrent multi-player games. (Joint with Valentin Goranko.) ACM Transactions on Computational Logic 2022.
  • Socially friendly and group protecting coalition logics. (Joint with Valentin Goranko.) Proceedings of AAMAS 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.
  • 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.

Belief revision

  • 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.