scientific article; zbMATH DE number 1497877
From MaRDI portal
Publication:4499308
zbMATH Open0959.03503MaRDI QIDQ4499308FDOQ4499308
Authors: Bart Jacobs
Publication date: 5 March 2001
Title of this publication is not available (Why is that?)
Recommendations
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30)
Cited In (17)
- A Calculus of Terms for Coalgebras of Polynomial Functors
- A modal proof theory for final polynomial coalgebras
- Title not available (Why is that?)
- Observational ultraproducts of polynomial coalgebras.
- Modal languages for coalgebras in a topological setting
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- Coalgebras and monads in the semantics of Java
- Duality for modal \(\mu\)-logics
- A coalgebraic perspective on logical interpretations
- Duality for some categories of coalgebras.
- Modal rules are co-implications
- Coalgebraic logics \& duality
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Many-sorted coalgebraic modal logic: A model-theoretic study
- The temporal logic of coalgebras via Galois algebras
- Internal models for coalgebraic modal logics
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)