Exemplaric Expressivity of Modal Logics

DOI10.1093/logcom/exn093zbMath1234.03009OpenAlexW2130655577MaRDI QIDQ3056297

Bart Jacobs, Ana Sokolova

Publication date: 11 November 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn093

zbMATH Keywords

modal logicMarkov chainscoalgebraMarkov processestransition systemsdual adjunctionmultitransition systems

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (23)

Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum ⋮ On a categorical framework for coalgebraic modal logic ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Expressiveness of probabilistic modal logics: a gradual approach ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Smooth coalgebra: testing vector analysis ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Approximating Markov processes through filtration ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ Constructive logical characterizations of bisimilarity for reactive probabilistic systems ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Unnamed Item ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Coalgebraic logics \& duality ⋮ Unnamed Item ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Trace semantics via determinization ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic

This page was built for publication: Exemplaric Expressivity of Modal Logics