The temporal logic of coalgebras via Galois algebras
From MaRDI portal
Publication:4405697
DOI10.1017/S096012950200378XzbMath1030.03017MaRDI QIDQ4405697
Publication date: 16 February 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Temporal logic (03B44) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (18)
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Process Calculi à la Bird-Meertens ⋮ Modal Operators for Coequations ⋮ Modal Rules are Co-Implications ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ Simulations in coalgebra ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ A modal proof theory for final polynomial coalgebras ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ A coalgebraic view on reachability ⋮ Comprehension for Coalgebras ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ A Note on Coalgebras and Presheaves ⋮ A logic of implications in algebra and coalgebra ⋮ Coalgebras and monads in the semantics of Java ⋮ On institutions for modular coalgebraic specifications.
Uses Software
This page was built for publication: The temporal logic of coalgebras via Galois algebras
