Institutionalising Many-Sorted Coalgebraic Modal Logic

DOI10.1016/S1571-0661(04)80359-1zbMath1270.03140OpenAlexW2034116194MaRDI QIDQ2842552

Corina Cîrstea

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80359-1

Mathematics Subject Classification ID

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

Related Items

Stratified institutions and elementary homomorphisms ⋮ Towards Weak Bisimulation For Coalgebras

Cites Work

• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item