A categorical outlook on relational modalities and simulations

DOI10.1016/j.ic.2010.09.009zbMath1248.03084OpenAlexW2068619585MaRDI QIDQ764263

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

modal logicsimulationsbicategories of relations

Mathematics Subject Classification ID

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

Related Items

Logical relations and parametricity -- a Reynolds programme for category theory and programming languages, Paracategories. I: Internal paracategories and saturated partial algebras, Relation lifting, a survey, Categories for Dynamic Epistemic Logic, Modes of adjointness, Categorical simulations

Cites Work

• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Representable multicategories
• Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
• Simply Connected Limits
• Introduction to bicategories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item