The following pages link to Sebastian Enqvist (Q694495):
Displaying 28 items.
- Interrogative belief revision based on epistemic strategies (Q694496) (← links)
- Contraction in interrogative belief revision (Q972629) (← links)
- Interrogative belief revision in modal logic (Q1037377) (← links)
- A propositional dynamic logic for instantial neighborhood models (Q1679752) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Duality for instantial neighbourhood logic via coalgebra (Q2229227) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- Homomorphisms of Coalgebras from Predicate Liftings (Q2848944) (← links)
- A Structuralist Framework for the Logic of Theory Change (Q2912132) (← links)
- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics (Q2942777) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- (Q4580206) (← links)
- Bisimulations for coalgebras on Stone spaces (Q4612432) (← links)
- Flat modal fixpoint logics with the converse modality (Q4612435) (← links)
- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (Q4635817) (← links)
- Modelling epistemic actions in interrogative belief revision (Q4902310) (← links)
- Segerberg on the Paradoxes of Introspective Belief Change (Q4982656) (← links)
- (Q5016799) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5104705) (← links)
- (Q5278080) (← links)
- Completeness for coalgebraic fixpoint logic (Q5278393) (← links)
- (Q5376645) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- Completeness for Game Logic (Q6317283) (← links)