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 (6)

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

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