Pages that link to "Item:Q1884901"
From MaRDI portal
The following pages link to Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901):
Displaying 50 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Modal predicates and coequations (Q2842557) (← links)
- Algebraic semantics for coalgebraic logics (Q2847816) (← links)
- Modular games for coalgebraic fixed point logics (Q2873663) (← links)
- Coalgebraising subsequential transducers (Q2873665) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- (Q4499150) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5101351) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- (Q5875347) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- A monoidal view on fixpoint checks (Q6535504) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
