Pages that link to "Item:Q3189649"

The following pages link to Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649):

Displaying 35 items.

• On the almighty wand (Q418137) (← links)
• Undecidable properties of extensions of the logic of provability (Q757339) (← links)
• Undecidability results on two-variable logics (Q1306795) (← links)
• Undecidability of existential properties in picture languages (Q1575948) (← links)
• Proof tactics for assertions in separation logic (Q1687747) (← links)
• Bunched logics displayed (Q1935559) (← links)
• A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
• The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
• Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules (Q2234797) (← links)
• Undefinability in inquisitive logic with tensor (Q2291224) (← links)
• Undecidable iterative propositional calculus (Q2364331) (← links)
• Separation logic with one quantified variable (Q2411038) (← links)
• Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598) (← links)
• Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
• (Q3121529) (← links)
• (Q3177929) (← links)
• A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
• An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
• Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
• Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
• Being and Change: Reasoning About Invariance (Q3449632) (← links)
• (Q4461957) (← links)
• Separation logics and modalities: a survey (Q4586138) (← links)
• (Q4789155) (← links)
• (Q4896519) (← links)
• Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
• Undecidability of the Logic of Partial Quasiary Predicates (Q5092565) (← links)
• Negative translations and normal modality (Q5111325) (← links)
• (Q5155678) (← links)
• Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
• The power of modal separation logics (Q5216335) (← links)
• On the complexity of modal separation logics (Q5224566) (← links)
• Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
• (Q5376651) (← links)
• An undecidability result for separation logic with theory reasoning (Q6161426) (← links)