Structural Operational Semantics and Modal Logic, Revisited

DOI10.1016/j.entcs.2010.07.019zbMath1247.68154OpenAlexW2170805715MaRDI 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 logiccoalgebrastructural operational semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30)

Related Items (2)

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

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

This page was built for publication: Structural Operational Semantics and Modal Logic, Revisited