Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705903
DOI10.1007/b106850zbMath1119.03015OpenAlexW1588712707MaRDI QIDQ5705903
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
Related Items (14)
Coalgebraic Geometric Logic: Basic Theory ⋮ A finite model construction for coalgebraic modal logic ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ Unnamed Item ⋮ Practical coinduction ⋮ On minimal coalgebras ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ A computer-verified monadic functional implementation of the integral ⋮ Copower functors ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ Modular Games for Coalgebraic Fixed Point Logics ⋮ Predicate Liftings Versus Nabla Modalities
Uses Software
This page was built for publication: Foundations of Software Science and Computational Structures
