Cyclic proofs for the first-order μ-calculus. (Joint with Bahareh Afshari and Graham Leigh. Logic Journal of the IGPL 2022.
The temporal logic of coalitional goal assignments in concurrent multi-player games. (Joint with Valentin Goranko.) ACM Transactions on Computational Logic 2022.
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
A circular proof system for the hybrid μ-calculus. Proceedings of AiML 2020.
Duality for instantial neighborhood logic via coalgebra. (Joint with Nick Bezhanishvili and Jim de Groot.) Proceedings of CMCS 2020.
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.
sebastianenqvist.org 