Sebastian Enqvist

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Top Venues

J. Log. Comput.

Publications

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
Cyclic proofs for the first-order µ-calculus. Log. J. IGPL 32 (1) (2024)
Sebastian Enqvist, Valentin Goranko
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. ACM Trans. Comput. Log. 23 (4) (2022)
Sebastian Enqvist
A Circular Proof System for the Hybrid μ-Calculus. AiML (2020)
Sebastian Enqvist
A circular proof system for the hybrid mu-calculus. CoRR (2020)
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
Duality for Instantial Neighbourhood Logic via Coalgebra. CMCS (2020)
Sebastian Enqvist, Valentin Goranko
The temporal logic of coalitional goal assignments in concurrent multi-player games. CoRR (2020)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. CoRR (2019)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica 107 (4) (2019)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence, its Logic and Algebra. J. Philos. Log. 48 (4) (2019)
Sebastian Enqvist, Yde Venema
Disjunctive bases: normal forms and model theory for modal logics. Log. Methods Comput. Sci. 15 (1) (2019)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
-calculi: A coalgebraic approach. Ann. Pure Appl. Log. 170 (5) (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. LICS (2019)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
-calculus: Separating the combinatorics from the dynamics. Theor. Comput. Sci. 727 (2018)
Sebastian Enqvist, Sumit Sourabh
Bisimulations for coalgebras on Stone spaces. J. Log. Comput. 28 (6) (2018)
Valentin Goranko, Sebastian Enqvist
Socially Friendly and Group Protecting Coalition Logics. AAMAS (2018)
Sebastian Enqvist
Flat modal fixpoint logics with the converse modality. J. Log. Comput. 28 (6) (2018)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
Instantial Neighbourhood Logic. Rev. Symb. Log. 10 (1) (2017)
Sebastian Enqvist, Yde Venema
Disjunctive bases: normal forms and model theory for modal logics. CoRR (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence and its Modal Logic. TARK (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
An expressive completeness theorem for coalgebraic modal mu-calculi. Log. Methods Comput. Sci. 13 (2) (2017)
Sebastian Enqvist, Yde Venema
Disjunctive Bases: Normal Forms for Modal Logics. CALCO (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
An expressive completeness theorem for coalgebraic modal mu-calculi. CoRR (2017)
Sebastian Enqvist
Flat modal fixpoint logics with the converse modality. CoRR (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Completeness for Coalgebraic Fixpoint Logic. CSL (2016)
Sebastian Enqvist
A new coalgebraic Lindström theorem. J. Log. Comput. 26 (5) (2016)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. LICS (2015)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. CoRR (2015)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Expressiveness of the modal mu-calculus on monotone neighborhood structures. CoRR (2015)
Sebastian Enqvist, Joshua Sack
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. CMCS (2014)
Sebastian Enqvist, Sumit Sourabh
Generalized Vietoris Bisimulations. CoRR (2014)
Sebastian Enqvist
A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis 7 (2) (2013)
Sebastian Enqvist
Homomorphisms of Coalgebras from Predicate Liftings. CALCO (2013)
Sebastian Enqvist
Modelling epistemic actions in interrogative belief revision. J. Log. Comput. 22 (6) (2012)
Sebastian Enqvist
Interrogative Belief Revision Based on Epistemic Strategies. Stud Logica 100 (3) (2012)
Sebastian Enqvist
Interrogative Belief Revision in Modal Logic. J. Philos. Log. 38 (5) (2009)