scientific article; zbMATH DE number 1497877

zbMath0959.03503MaRDI QIDQ4499308

Bart Jacobs

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

Observational ultraproducts of polynomial coalgebras. ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ A Calculus of Terms for Coalgebras of Polynomial Functors ⋮ Modal Rules are Co-Implications ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ A modal proof theory for final polynomial coalgebras ⋮ What is the coalgebraic analogue of Birkhoff's variety theorem? ⋮ Coalgebras and monads in the semantics of Java

This page was built for publication: