A modal proof theory for final polynomial coalgebras

DOI10.1016/j.tcs.2005.11.041zbMath1097.68091OpenAlexW2028958199MaRDI QIDQ2503317

David Friggens, Robert Goldblatt

Publication date: 14 September 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.11.041

zbMATH Keywords

modal logicinference rulebisimulationincompletenessfinal coalgebrapolynomial functorinfinitary proof theoryHennessy-Milner propertyLindenbaum propertycanonical coalgebradebucibility relationmaximally consistent set

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

The Countable Henkin Principle, Coalgebraic semantics of modal logics: an overview, Bisimulation proof methods in a path-based specification language for polynomial coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone coalgebras
• Coalgebraic logic
• Model theory
• Observational ultraproducts of polynomial coalgebras.
• A small final coalgebra theorem
• Universal coalgebra: A theory of systems
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• Terminal coalgebras in well-founded set theory
• A Henkin completeness theorem for T
• Final coalgebras and the Hennessy-Milner property
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Algebraic laws for nondeterminism and concurrency
• On Some Completeness Theorems in Modal Logic
• The temporal logic of coalgebras via Galois algebras
• An approach to object semantics based on terminal co-algebras
• The completeness of the first-order functional calculus
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras
• What is the coalgebraic analogue of Birkhoff's variety theorem?