Structural Operational Semantics and Modal Logic, Revisited

DOI10.1016/j.entcs.2010.07.019zbMath1247.68154MaRDI QIDQ2919456

Bartek Klin

Publication date: 2 October 2012

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.2010.07.019

zbMATH Keywords

modal logic; coalgebra; structural operational semantics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

Related Items

Bialgebras for structural operational semantics: an introduction, Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Category theory for operational semantics
• Bialgebraic methods and modal logic in structural operational semantics
• Structural induction and coinduction in a fibrational setting
• Chu spaces from the representational viewpoint
• Universal coalgebra: A theory of systems
• Combining a monad and a comonad
• The Goldblatt-Thomason Theorem for Coalgebras
• Testing Semantics: Connecting Processes and Process Logics
• Algebraic laws for nondeterminism and concurrency
• Adjoint Lifting Theorems for Categories of Algebras
• Bisimulation can't be traced
• Coalgebraic Modal Logic Beyond Sets
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures
• Fundamentals of Computation Theory