Sebastian Enqvist

Available identifiers

zbMath Open enqvist.sebastianMaRDI QIDQ694495

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sebastian Enqvist