Coalgebraic Modal Logic Beyond Sets

DOI10.1016/j.entcs.2007.02.034zbMath1316.03017OpenAlexW2120529054MaRDI QIDQ5262938

Bartek Klin

Publication date: 10 July 2015

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.034

zbMATH Keywords

modal logiccoalgebralocally presentable category

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)

Related Items (23)

Coinductive predicates and final sequences in a fibration ⋮ Chu duality theory and coalgebraic representation of quantum symmetries ⋮ On a categorical framework for coalgebraic modal logic ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Presenting functors on many-sorted varieties and applications ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Smooth coalgebra: testing vector analysis ⋮ A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Modular construction of complete coalgebraic logics ⋮ Coalgebraic minimization of automata by initiality and finality ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Coalgebraic logics \& duality ⋮ Steps and traces ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Final coalgebras in accessible categories ⋮ Coinductive predicates and final sequences in a fibration ⋮ A Name Abstraction Functor for Named Sets ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• A new approach to abstract syntax with variable binding
• Coalgebraic logic
• On final coalgebras of continuous functors
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• Comparing operational models of name-passing process calculi
• Strongly Complete Logics for Coalgebras
• Testing Semantics: Connecting Processes and Process Logics
• Algebraic laws for nondeterminism and concurrency
• Accessible Categories: The Foundations of Categorical Model Theory
• Algebra and Coalgebra in Computer Science
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures
• Specifying coalgebras with modal logic

This page was built for publication: Coalgebraic Modal Logic Beyond Sets