scientific article; zbMATH DE number 1497877

MaRDI QIDQ4499308zbMATH OpenFDO

Authors Bart Jacobs

Publication date 5 March 2001

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1753205
• Specifying coalgebras with modal logic
• scientific article; zbMATH DE number 1231627

Cited in

(17)

• Duality for modal \(\mu\)-logics
• Observational ultraproducts of polynomial coalgebras.
• Duality for some categories of coalgebras.
• Coalgebraic logics \& duality
• Coalgebras and monads in the semantics of Java
• A modal proof theory for final polynomial coalgebras
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Internal models for coalgebraic modal logics
• On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
• A coalgebraic perspective on logical interpretations
• The temporal logic of coalgebras via Galois algebras
• A Calculus of Terms for Coalgebras of Polynomial Functors
• Modal rules are co-implications
• Modal languages for coalgebras in a topological setting
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• What is the coalgebraic analogue of Birkhoff's variety theorem?

This page was built for publication:

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