Separation logic and logics with team semantics

DOI10.1016/j.apal.2021.103063OpenAlexW3217466433MaRDI QIDQ2172820

Erich Grädel, Darion Haase, Richard Wilke

Publication date: 16 September 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103063

zbMATH Keywords

separation logicteam semanticslogics of dependence and independence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic with extra quantifiers and operators (03C80)

Cites Work

• Unnamed Item
• Unnamed Item
• On the almighty wand
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Dependence and independence
• Epistemic operators in dependence logic
• Coherence and computational complexity of quantifier-free dependence logic formulas
• The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains
• Separation logic with one quantified variable
• Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
• The Logic of Bunched Implications
• Compositional semantics for a language of imperfect information
• BI as an assertion language for mutable data structures
• On Strongly First-Order Dependencies
• Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
• Counting in Team Semantics
• An axiomatic basis for computer programming
• Team Logic and Second-Order Logic