Modal rules are co-implications

DOI10.1016/S1571-0661(04)80911-3MaRDI QIDQ4917041zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1735883
• scientific article; zbMATH DE number 1497872
• scientific article; zbMATH DE number 1688389
• From modal logic to terminal coalgebras
• Rank-1 Modal Logics Are Coalgebraic

Cites work

• A final coalgebra theorem
• Coalgebraic logic
• Covarieties and complete covarieties
• scientific article; zbMATH DE number 1688389 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 1231627 (Why is no real title available?)
• scientific article; zbMATH DE number 1735883 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1497877 (Why is no real title available?)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• The temporal logic of coalgebras via Galois algebras
• Universal coalgebra: A theory of systems
• What is the coalgebraic analogue of Birkhoff's variety theorem?

Cited in

(4)

• Some co-Birkhoff type theorems
• Definability, canonical models, compactness for finitary coalgebraic modal logic
• scientific article; zbMATH DE number 1735883 (Why is no real title available?)
• Modal operators for coequations

This page was built for publication: Modal rules are co-implications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917041)