Sebastian Enqvist

Available identifiers

zbMath Open enqvist.sebastianMaRDI QIDQ694495

List of research outcomes

Publication	Date of Publication	Type
Completeness for game logic	2024-12-19	Paper
Cyclic proofs for the first-order \(\mu\)-calculus	2024-11-15	Paper
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5104705	2022-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q5016799	2021-12-14	Paper
Duality for instantial neighbourhood logic via coalgebra	2021-02-22	Paper
A propositional dynamic logic for instantial neighborhood semantics	2019-09-03	Paper
A new game equivalence, its logic and algebra	2019-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q5376645	2019-05-17	Paper
Completeness for Game Logic	2019-04-16	Paper
Completeness for \(\mu\)-calculi: a coalgebraic approach	2019-03-14	Paper
Bisimulations for coalgebras on Stone spaces	2019-01-31	Paper
Flat modal fixpoint logics with the converse modality	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4580206	2018-08-13	Paper
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics	2018-05-17	Paper
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras	2018-04-23	Paper
A propositional dynamic logic for instantial neighborhood models	2017-11-22	Paper
Completeness for coalgebraic fixpoint logic	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5278080	2017-07-13	Paper
INSTANTIAL NEIGHBOURHOOD LOGIC	2017-05-31	Paper
A new coalgebraic Lindström theorem	2017-01-31	Paper
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics	2015-09-11	Paper
Segerberg on the Paradoxes of Introspective Belief Change	2015-04-10	Paper
Homomorphisms of Coalgebras from Predicate Liftings	2013-09-13	Paper
A general Lindström theorem for some normal modal logics	2013-08-06	Paper
Modelling epistemic actions in interrogative belief revision	2013-01-14	Paper
Interrogative belief revision based on epistemic strategies	2012-12-12	Paper
A Structuralist Framework for the Logic of Theory Change	2012-09-14	Paper
Contraction in interrogative belief revision	2010-05-21	Paper
Interrogative belief revision in modal logic	2009-11-16	Paper

Research outcomes over time

This page was built for person: Sebastian Enqvist