Pages that link to "Item:Q1884901"

The following pages link to Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901):

Displaying 49 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 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)
• 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)
• On monotone modalities and adjointness (Q3005992) (← links)
• Coalgebraic Hybrid Logic (Q3617726) (← links)
• (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← 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)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
• Compositionality in context (Q6612797) (← links)
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)