Context logic as modal logic
From MaRDI portal
Publication:3189791
DOI10.1145/1190216.1190236zbMath1295.68079OpenAlexW4248244173MaRDI QIDQ3189791
Philippa Gardner, Cristiano Calcagno, Uri Zarfaty
Publication date: 12 September 2014
Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1190216.1190236
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (20)
A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ Automata-based verification of programs with tree updates ⋮ A Unified Display Proof Theory for Bunched Logic ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Separation logics and modalities: a survey ⋮ Adjunct Elimination in Context Logic for Trees ⋮ Completeness and expressiveness of pointer program verification by separation logic ⋮ Bunched logics displayed ⋮ On the almighty wand ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Effect algebras, Girard quantales and complementation in separation logic ⋮ Unnamed Item ⋮ Separation Logic Semantics for Communicating Processes ⋮ Multimodal Separation Logic for Reasoning About Operational Semantics ⋮ Adjunct elimination in context logic for trees ⋮ Graphical models of separation logic ⋮ Unnamed Item ⋮ Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding ⋮ On Model Checking Boolean BI ⋮ Local Reasoning about Data Update
Uses Software
This page was built for publication: Context logic as modal logic
