Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study

DOI10.1051/ita:2001108zbMath0984.03019OpenAlexW2088378600MaRDI QIDQ2747941

Bart Jacobs

Publication date: 23 January 2002

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2001__35_1_31_0

zbMATH Keywords

modal logiccoalgebrasmany-sorted logicmany-sorted Boolean algebras with operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (30)

An institution of modal logics for coalgebras ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ Deriving Syntax and Axioms for Quantitative Regular Behaviours ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Presenting functors on many-sorted varieties and applications ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Temporal refinements for guarded recursive types ⋮ A Road to Ultrafilter Extensions ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Modular construction of complete coalgebraic logics ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ Bisimulation proof methods in a path-based specification language for polynomial coalgebras ⋮ A compositional approach to defining logics for coalgebras ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ A modular approach to defining and characterising notions of simulation ⋮ Final coalgebras for functors on measurable spaces ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ A modal proof theory for final polynomial coalgebras ⋮ Unnamed Item ⋮ A Kleene Theorem for Polynomial Coalgebras ⋮ Coalgebraic logics \& duality ⋮ Institutionalising Many-Sorted Coalgebraic Modal Logic ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Final coalgebras and the Hennessy-Milner property ⋮ Coalgebras and monads in the semantics of Java ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

Uses Software

• CCSL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Duality for some categories of coalgebras.
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• The temporal logic of coalgebras via Galois algebras
• An approach to object semantics based on terminal co-algebras
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Algebraic semantics for modal logics I
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The Theory of Representation for Boolean Algebras
• Applications of the Theory of Boolean Rings to General Topology
• Boolean Algebras with Operators. Part I
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras
• What is the coalgebraic analogue of Birkhoff's variety theorem?

This page was built for publication: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study