Sebastian Enqvist

42 papers A* 2A 1B 5Journal 28Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Computation by infinite descent made explicit.
CoRR
Sebastian Enqvist
2025 J jnl
Herbrand schemes for first-order logic.
Arch. Math. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2025 J jnl
Proof Systems for two-Way Modal
J. Symb. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
2024 J jnl
Cyclic proofs for the first-order µ-calculus.
Log. J. IGPL
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2022 J jnl
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.
ACM Trans. Comput. Log.
Sebastian Enqvist, Valentin Goranko
2020 B conf
A Circular Proof System for the Hybrid μ-Calculus.
AiML
Sebastian Enqvist
2020 J jnl
A circular proof system for the hybrid mu-calculus.
CoRR
Sebastian Enqvist
2020 — conf
Duality for Instantial Neighbourhood Logic via Coalgebra.
CMCS
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
2020 J jnl
The temporal logic of coalitional goal assignments in concurrent multi-player games.
CoRR
Sebastian Enqvist, Valentin Goranko
2019 J jnl
A New Game Equivalence, its Logic and Algebra.
J. Philos. Log.
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019 J jnl
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.
Stud Logica
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019 J jnl
Completeness for
Ann. Pure Appl. Log.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2019 A* conf
Completeness for Game Logic.
LICS
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019 J jnl
Completeness for Game Logic.
CoRR
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019 J jnl
Disjunctive bases: normal forms and model theory for modal logics.
Log. Methods Comput. Sci.
Sebastian Enqvist, Yde Venema
2018 J jnl
Bisimulations for coalgebras on Stone spaces.
J. Log. Comput.
Sebastian Enqvist, Sumit Sourabh
2018 J jnl
Completeness for the modal
Theor. Comput. Sci.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2018 J jnl
Flat modal fixpoint logics with the converse modality.
J. Log. Comput.
Sebastian Enqvist
2018 A conf
Socially Friendly and Group Protecting Coalition Logics.
AAMAS
Valentin Goranko, Sebastian Enqvist
2017 B conf
A New Game Equivalence and its Modal Logic.
TARK
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017 — conf
A Propositional Dynamic Logic for Instantial Neighborhood Models.
LORI
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017 J jnl
An expressive completeness theorem for coalgebraic modal mu-calculi.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017 J jnl
An expressive completeness theorem for coalgebraic modal mu-calculi.
Log. Methods Comput. Sci.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017 B conf
Disjunctive Bases: Normal Forms for Modal Logics.
CALCO
Sebastian Enqvist, Yde Venema
2017 J jnl
Disjunctive bases: normal forms and model theory for modal logics.
CoRR
Sebastian Enqvist, Yde Venema
2017 J jnl
Flat modal fixpoint logics with the converse modality.
CoRR
Sebastian Enqvist
2017 J jnl
Instantial Neighbourhood Logic.
Rev. Symb. Log.
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
2016 J jnl
A new coalgebraic Lindström theorem.
J. Log. Comput.
Sebastian Enqvist
2016 B conf
Completeness for Coalgebraic Fixpoint Logic.
CSL
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 J jnl
Expressiveness of the modal mu-calculus on monotone neighborhood structures.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 A* conf
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.
LICS
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 J jnl
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2014 — conf
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
CMCS
Sebastian Enqvist, Joshua Sack
2014 J jnl
Generalized Vietoris Bisimulations.
CoRR
Sebastian Enqvist, Sumit Sourabh
2013 J jnl
A General Lindström Theorem for Some Normal Modal Logics.
Logica Universalis
Sebastian Enqvist
2013 B conf
Homomorphisms of Coalgebras from Predicate Liftings.
CALCO
Sebastian Enqvist
2012 J jnl
Interrogative Belief Revision Based on Epistemic Strategies.
Stud Logica
Sebastian Enqvist
2012 J jnl
Modelling epistemic actions in interrogative belief revision.
J. Log. Comput.
Sebastian Enqvist
2011 — ch.
A Structuralist Framework for the Logic of Theory Change.
Belief Revision meets Philosophy of Science
Sebastian Enqvist
2011 — book
Belief Revision meets Philosophy of Science
Erik J. Olsson, Sebastian Enqvist
2011 — —
Interrogative Belief Revision.
Sebastian Enqvist
2009 J jnl
Interrogative Belief Revision in Modal Logic.
J. Philos. Log.
Sebastian Enqvist