A categorical outlook on relational modalities and simulations

DOI10.1016/J.IC.2010.09.009MaRDI QIDQ764263zbMATH OpenOpenAlexFDO

Authors Claudio Hermida

Publication date 13 March 2012

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2010.09.009

zbMATH Keywords

simulationsmodal logicbicategories of relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Recommendations

• Paths and simulations
• Relation lifting, a survey
• Simulations and bisimulations for coalgebraic modal logics
• Maps and monads for modal frames
• Algebra and Coalgebra in Computer Science

Cites work

• scientific article; zbMATH DE number 2125657 (Why is no real title available?)
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Categorical logic and type theory
• Introduction to bicategories
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Representable multicategories
• Simply Connected Limits
• Some properties of Fib as a fibred \(2\)-category
• Structural induction and coinduction in a fibrational setting

Cited in

(12)

• Categorical simulations
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• Paracategories. I: Internal paracategories and saturated partial algebras
• Mathematical Foundations of Computer Science 2003
• Relation lifting, a survey
• Stone duality for relations
• Categories for dynamic epistemic logic
• Modes of adjointness
• Two-dimensional Kripke semantics i: presheaves
• Paths and simulations
• Relating modal refinements, covariant-contravariant simulations and partial bisimulations
• Perceive this as that -- Analogies, artificial perception, and category theory

This page was built for publication: A categorical outlook on relational modalities and simulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764263)