Many-sorted coalgebraic modal logic: A model-theoretic study
A semantical study of many-sorted modal logic associated with certain dynamical systems is given, which applies the approach of \textit{B. Jacobs} [``Towards a duality result in coalgebraic modal logic, Electronic Notes in Theoretical Computer Science 33 (2000; Zbl 0959.03503)] to the many-sorted modal logic of \textit{M. Rößiger} [``Coalgebras and modal logic, ibid. (2000; Zbl 0959.03502)]. Sort-indexed formulas of many-sorted modal logic are interpreted as predicates in a coalgebra, and also as elements of Boolean algebras. The main semantical structures of the paper are the many-sorted Boolean algebras with operators (MBAO) which are indexed by sorts, following general ideas from categorical logic; after the interpretation of the logic in the coalgebras is given, the completeness follows from a Lindenbaum construction. Later, reverse translations from MBAO to coalgebras are presented, one of them as an algebraic reformulation of Rößiger's construction, and another more natural one which gives rise to an ultrafilter extension result and a final coalgebra.
- Algebraic semantics for modal logics I
- An approach to object semantics based on terminal co-algebras
- Applications of the Theory of Boolean Rings to General Topology
- Boolean Algebras with Operators. Part I
- Categorical logic and type theory
- Coalgebraic logic
- Duality for some categories of coalgebras.
- From modal logic to terminal coalgebras
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 3688686 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 1314224 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1489632 (Why is no real title available?)
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- scientific article; zbMATH DE number 1497877 (Why is no real title available?)
- scientific article; zbMATH DE number 1497882 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- Specifying coalgebras with modal logic
- Structural induction and coinduction in a fibrational setting
- The coalgebraic class specification language CCSL
- The temporal logic of coalgebras via Galois algebras
- The Theory of Representation for Boolean Algebras
- Universal coalgebra: A theory of systems
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Coalgebraic logics \& duality
- Coalgebras and monads in the semantics of Java
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Temporal refinements for guarded recursive types
- An institution of modal logics for coalgebras
- Algebraic-coalgebraic specification in CoCASL
- Modular construction of complete coalgebraic logics
- 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
- Final coalgebras and the Hennessy-Milner property
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Institutionalising many-sorted coalgebraic modal logic
- Definability, canonical models, compactness for finitary coalgebraic modal logic
- Functorial coalgebraic logic: the case of many-sorted varieties
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- A road to ultrafilter extensions
- A Kleene Theorem for Polynomial Coalgebras
- Modal languages for coalgebras in a topological setting
- Moss' logic for ordered coalgebras
- A many-sorted polyadic modal logic
- Expressive logics for coalgebras via terminal sequence induction
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras
- Presenting functors on many-sorted varieties and applications
- A coalgebraic approach to non-determinism: applications to multilattices
- Coalgebraic semantics of modal logics: an overview
- A presheaf semantics for quantified temporal logics
- Topology-free type structures with conditioning events
- A compositional approach to defining logics for coalgebras
- Stone coalgebras
- A coalgebraic view on positive modal logic
- Coalgebraic representations of distributive lattices with operators
This page was built for publication: Many-sorted coalgebraic modal logic: A model-theoretic study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747941)
