Pages that link to "Item:Q3056297"

The following pages link to Exemplaric Expressivity of Modal Logics (Q3056297):

Displaying 30 items.

• On a categorical framework for coalgebraic modal logic (Q283748) (← links)
• Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
• Approximating Markov processes through filtration (Q442296) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
• Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
• Coalgebraic logics \& duality (Q1798781) (← links)
• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
• Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
• Trace semantics via determinization (Q2341701) (← links)
• Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
• Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
• Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
• The Hart-Shelah example, in stronger logics (Q2662698) (← links)
• Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
• Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
• Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
• (Q3121529) (← links)
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
• Modal Expressivity and Definability over Sets (Q3655242) (← links)
• (Q5028440) (← links)
• Smooth coalgebra: testing vector analysis (Q5361142) (← links)
• (Q5376651) (← links)
• Foundations of Software Science and Computational Structures (Q5705903) (← links)
• Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
• Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• Minimisation in logical form (Q6612779) (← links)