Expressive logics for coalgebras via terminal sequence induction

DOI10.1305/ndjfl/1094155277zbMath1088.03031OpenAlexW2060917500MaRDI QIDQ558417

Dirk Pattinson

Publication date: 6 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1094155277

zbMATH Keywords

coalgebraspredicate liftingscoalgebraic behavioral equivalencecoalgebraic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categories of machines, automata (18B20)

Related Items (29)

On a categorical framework for coalgebraic modal logic ⋮ An institution of modal logics for coalgebras ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ A finite model construction for coalgebraic modal logic ⋮ Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Unnamed Item ⋮ Hybrid logic with the difference modality for generalisations of graphs ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ On minimal coalgebras ⋮ A quantified coalgebraic van Benthem theorem ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Modular construction of complete coalgebraic logics ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Transitivity and Difunctionality of Bisimulations ⋮ A compositional approach to defining logics for coalgebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Coalgebraic logic for stochastic right coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraically compact functors
• Structural induction and coinduction in a fibrational setting
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Accessible Categories: The Foundations of Categorical Model Theory
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras

This page was built for publication: Expressive logics for coalgebras via terminal sequence induction