Exemplaric Expressivity of Modal Logics
DOI10.1093/logcom/exn093zbMath1234.03009OpenAlexW2130655577MaRDI QIDQ3056297
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
modal logicMarkov chainscoalgebraMarkov processestransition systemsdual adjunctionmultitransition systems
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)
This page was built for publication: Exemplaric Expressivity of Modal Logics