Modal Rules are Co-Implications

DOI10.1016/S1571-0661(04)80911-3zbMath1260.68243OpenAlexW2082558313MaRDI QIDQ4917041

Alexander Kurz

Publication date: 26 April 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)80911-3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Modal Operators for Coequations ⋮ Some Co-Birkhoff Type Theorems ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

Cites Work

• Coalgebraic logic
• Universal coalgebra: A theory of systems
• The temporal logic of coalgebras via Galois algebras
• A final coalgebra theorem
• Covarieties and complete covarieties
• What is the coalgebraic analogue of Birkhoff's variety theorem?
• Unnamed Item
• Unnamed Item
• 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: Modal Rules are Co-Implications