Pages that link to "Item:Q639647"
From MaRDI portal
The following pages link to Coalgebraic semantics of modal logics: an overview (Q639647):
Displaying 30 items.
- Relation lifting, a survey (Q299182) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q2995019) (← links)
- (Q3121529) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- (Q4499303) (← links)
- (Q5014445) (← links)
- (Q5028440) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5101337) (← links)
- (Q5101351) (← links)
- (Q5376651) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- (Q5875347) (← links)
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)
- A presheaf semantics for quantified temporal logics (Q6562516) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
