A categorical outlook on relational modalities and simulations

DOI10.1016/J.IC.2010.09.009zbMATH Open1248.03084OpenAlexW2068619585MaRDI QIDQ764263FDOQ764263

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

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

zbMATH Keywords

simulationsmodal logicbicategories of relations

Mathematics Subject Classification ID

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

Cites Work

• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to bicategories
• Some properties of Fib as a fibred \(2\)-category
• Representable multicategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simply Connected Limits
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Title not available (Why is that?)

Cited In (9)

• 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
• Modes of adjointness
• Categories for Dynamic Epistemic Logic
• 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)