Two-Variable Separation Logic and Its Inner Circle

DOI10.1145/2724711zbMATH Open1354.03036OpenAlexW2066800627WikidataQ130849085 ScholiaQ130849085MaRDI QIDQ2957697FDOQ2957697

Authors: Stéphane Demri, Morgan Deters 

Publication date: 27 January 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2724711

Recommendations

• On logics with two variables
• Semipositivity in separation logic with two variables
• Two-variable logic on 2-dimensional structures
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• scientific article; zbMATH DE number 1078559
• Two-variable first-order logic with equivalence closure
• Two-variable first-order logic with equivalence closure
• Two-variable logic with two order relations
• Expressive completeness of separation logic with two variables and no separating conjunction
• Expressive completeness of separation logic with two variables and no separating conjunction

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Cites Work

• Maintaining knowledge about temporal intervals
• Modal logic
• Title not available (Why is that?)
• The complexity of propositional linear temporal logics in simple cases
• Title not available (Why is that?)
• The modal logic of inequality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of weak logics with deterministic transitive closure
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Two variable first-order logic over ordered domains
• On the Decision Problem for Two-Variable First-Order Logic
• A Modal BI Logic for Dynamic Resource Properties
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• On languages with two variables
• Title not available (Why is that?)
• Complexity of Two-Variable Logic on Finite Trees
• Two-Variable First-Order Logic with Equivalence Closure
• Ordered Navigation on Multi-attributed Data Words
• Nondeterministic Phase Semantics and the Undecidability of Boolean BI
• Tractable Reasoning in a Fragment of Separation Logic
• Undecidability of Propositional Separation Logic and Its Neighbours
• Beyond Shapes: Lists with Ordered Data
• On the almighty wand
• Title not available (Why is that?)
• Expressiveness and complexity of graph logic
• Undecidability results on two-variable logics
• Complexity results for classes of quantificational formulas
• A logical characterization of data languages.
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Title not available (Why is that?)
• Methods for Automated Theorem Proving in Nonclassical Logics
• The Tree Width of Separation Logic with Recursive Definitions
• Equality and monodic first-order temporal logic
• Undecidability of modal and intermediate first-order logics with two individual variables
• A decision procedure for satisfiability in separation logic with inductive predicates
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
• Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
• Separation Logic with One Quantified Variable
• Two-variable logic with two order relations

Cited In (11)

• Separation logics and modalities: a survey
• On the almighty wand
• An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
• Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Title not available (Why is that?)
• Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
• An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
• An algebraic glimpse at bunched implications and separation logic
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• On Temporal and Separation Logics

Uses Software

• Slide

This page was built for publication: Two-Variable Separation Logic and Its Inner Circle

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