A categorical outlook on relational modalities and simulations
type: Item
instance of: scholarly article
title: A categorical outlook on relational modalities and simulations
zbMATH Open document ID: 1248.03084
author: Claudio Hermida
published in: Information and Computation
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6014270
zbMATH Keywords: bicategories of relations
zbMATH Keywords: modal logic
zbMATH Keywords: simulations
MaRDI profile type: Publication
full work available at URL: j.ic.2010.09.009
OpenAlex ID: W2068619585
cites work: Q4785506
cites work: Introduction to bicategories
cites work: Q4304740
cites work: Q3156495
cites work: Q4495853
cites work: Some properties of Fib as a fibred \(2\)-category
cites work: Representable multicategories
cites work: Structural induction and coinduction in a fibrational setting
cites work: Categorical logic and type theory
cites work: Q4145861
cites work: Q5642701
cites work: Simply Connected Limits
cites work: Q4325547
cites work: Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
cites work: Q3208629
cites work: Q3876103
cites work: Q3994458
DOI: 10.1016/J.IC.2010.09.009
description: scientific article; zbMATH DE number 6014270