Separation logic and logics with team semantics

DOI10.1016/J.APAL.2021.103063MaRDI QIDQ2172820zbMATH OpenOpenAlexFDO

Authors Darion Haase, Erich Grädel, 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

logics of dependence and independenceseparation logicteam semantics

Mathematics Subject Classification ID

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

Recommendations

• Logics with multiteam semantics
• Propositional team logics
• Polyteam semantics
• Separation logics and modalities: a survey
• Polyteam semantics

Cites work

• An axiomatic basis for computer programming
• BI as an assertion language for mutable data structures
• Coherence and computational complexity of quantifier-free dependence logic formulas
• Compositional semantics for a language of imperfect information
• Counting in team semantics
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Epistemic operators in dependence logic
• Expressive completeness of separation logic with two variables and no separating conjunction
• From IF to BI. A tale of dependence and separation
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• On strongly first-order dependencies
• On the almighty wand
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
• Separation logic with one quantified variable
• Team logic and second-order logic
• The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains
• The Logic of Bunched Implications

Cited in

(6)

• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• Polyteam semantics
• scientific article; zbMATH DE number 7407786 (Why is no real title available?)
• Propositional team logics
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• The flattening operator in team-based logics

This page was built for publication: Separation logic and logics with team semantics

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