A logic of separating modalities

DOI10.1016/J.TCS.2016.04.040MaRDI QIDQ290917zbMATH OpenOpenAlexFDO

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

Publication date 3 June 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

concurrencymodal logicseparation logictableauxbunched logicresource semantics

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(11)

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

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)