Interrogative Belief Revision in Modal Logic. - Sebastian Enqvist (J. Philos. Log., 2009)

Interrogative Belief Revision. - Sebastian Enqvist (2011)

A Structuralist Framework for the Logic of Theory Change. - Sebastian Enqvist (Belief Revision meets Philosophy of Science, 2011)

Modelling epistemic actions in interrogative belief revision. - Sebastian Enqvist (J. Log. Comput., 2012)

Interrogative Belief Revision Based on Epistemic Strategies. - Sebastian Enqvist (Stud Logica, 2012)

Homomorphisms of Coalgebras from Predicate Liftings. - Sebastian Enqvist (CALCO, 2013)

A General Lindström Theorem for Some Normal Modal Logics. - Sebastian Enqvist (Logica Universalis, 2013)

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. - Sebastian Enqvist; Joshua Sack (CMCS, 2014)

Generalized Vietoris Bisimulations. - Sebastian Enqvist; Sumit Sourabh (CoRR, 2014)

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (LICS, 2015)

Expressiveness of the modal mu-calculus on monotone neighborhood structures. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (CoRR, 2015)

Completeness for Coalgebraic Fixpoint Logic. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (CSL, 2016)

A new coalgebraic Lindström theorem. - Sebastian Enqvist (J. Log. Comput., 2016)

Disjunctive Bases: Normal Forms for Modal Logics. - Sebastian Enqvist; Yde Venema (CALCO, 2017)

A Propositional Dynamic Logic for Instantial Neighborhood Models. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (LORI, 2017)

A New Game Equivalence and its Modal Logic. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (TARK, 2017)

An expressive completeness theorem for coalgebraic modal mu-calculi. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (Log. Methods Comput. Sci., 2017)

Instantial Neighbourhood Logic. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist; Junhua Yu (Rev. Symb. Log., 2017)

Socially Friendly and Group Protecting Coalition Logics. - Valentin Goranko; Sebastian Enqvist (AAMAS, 2018)

Flat modal fixpoint logics with the converse modality. - Sebastian Enqvist (J. Log. Comput., 2018)

Bisimulations for coalgebras on Stone spaces. - Sebastian Enqvist; Sumit Sourabh (J. Log. Comput., 2018)

Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (Theor. Comput. Sci., 2018)

Completeness for Game Logic. - Sebastian Enqvist; Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2019)

Completeness for μ-calculi: A coalgebraic approach. - Sebastian Enqvist; Fatemeh Seifan; Yde Venema (Ann. Pure Appl. Log., 2019)

A New Game Equivalence, its Logic and Algebra. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (J. Philos. Log., 2019)

Disjunctive bases: normal forms and model theory for modal logics. - Sebastian Enqvist; Yde Venema (Log. Methods Comput. Sci., 2019)

A Propositional Dynamic Logic for Instantial Neighborhood Semantics. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist (Stud Logica, 2019)

A Circular Proof System for the Hybrid μ-Calculus. - Sebastian Enqvist (AiML, 2020)

Duality for Instantial Neighbourhood Logic via Coalgebra. - Nick Bezhanishvili; Sebastian Enqvist; Jim de Groot (CMCS, 2020)

A circular proof system for the hybrid mu-calculus. - Sebastian Enqvist (CoRR, 2020)

The temporal logic of coalitional goal assignments in concurrent multi-player games. - Sebastian Enqvist; Valentin Goranko (CoRR, 2020)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. - Sebastian Enqvist; Valentin Goranko (ACM Trans. Comput. Log., 2022)

Cyclic proofs for the first-order µ-calculus. - Bahareh Afshari; Sebastian Enqvist; Graham E. Leigh (Log. J. IGPL, 2024)

Computation by infinite descent made explicit. - Sebastian Enqvist (CoRR, 2025)