Publication:4499308
From MaRDI portal
zbMath0959.03503MaRDI QIDQ4499308
Publication date: 5 March 2001
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03G30: Categorical logic, topoi
Related Items
What is the coalgebraic analogue of Birkhoff's variety theorem?, Observational ultraproducts of polynomial coalgebras., Coalgebras and monads in the semantics of Java, A modal proof theory for final polynomial coalgebras, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study