A logic of separating modalities

DOI10.1016/J.TCS.2016.04.040zbMATH Open1342.03032OpenAlexW2346540577MaRDI QIDQ290917FDOQ290917

Authors: Jean-René Courtault, Didier Galmiche, David Pym 

Publication date: 3 June 2016

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.04.040

Recommendations

• The power of modal separation logics
• Separation logics and modalities: a survey
• Axiomatising logics with separating conjunction and modalities
• A modal sortal logic
• The effects of modalities in separation logics (extended abstract)
• scientific article; zbMATH DE number 1735873
• scientific article; zbMATH DE number 1778904
• Separation logic modulo theories
• An epistemic separation logic
• scientific article; zbMATH DE number 1775471

zbMATH Keywords

concurrencymodal logicseparation logictableauxbunched logicresource semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• The semantics of BI and resource tableaux
• Dynamic Epistemic Logic and Knowledge Puzzles
• Algebra and logic for resource-based systems modelling
• A logical and computational theory of located resource
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Logic of Bunched Implications
• On bunched typing
• BI as an assertion language for mutable data structures
• Linear logic
• Title not available (Why is that?)
• Decidability of DPDA equivalence
• Resources, concurrency, and local reasoning
• Using branching time temporal logic to synthesize synchronization skeletons
• Completeness results for linear logic on Petri nets
• Handbook of philosophical logic. Vol. 7
• A simple separation logic
• A discipline of mathematical systems modelling
• An epistemic separation logic
• Tableaux and resource graphs for separation logic
• A modal BI logic for dynamic resource properties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal strong completeness of partial monoidal Boolean BI

Cited In (11)

• Title not available (Why is that?)
• Looking at separation algebras with Boolean BI-eyes
• Stone-type dualities for separation logics
• A substructural epistemic resource logic
• Abstract hidden Markov models: a monadic account of quantitative information flow
• The power of modal separation logics
• A stone-type duality theorem for separation logic via its underlying bunched logics
• Levels of modality for BDI logic
• A calculus and logic of bunched resources and processes
• An epistemic separation logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: A logic of separating modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290917)