The semantics of BI and resource tableaux

DOI10.1017/S0960129505004858zbMath1145.03308MaRDI QIDQ3371525

Daniel Méry, Didier Galmiche, David J. Pym

Publication date: 21 February 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

proof searchsemantic tableauxresource semanticslogic of bunched implicationsTopological semanticsresource distribution

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items

Bunched sequential information, Completeness of Nominal PROPs, On Composing Finite Forests with Modal Logics, Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras, A stone-type duality theorem for separation logic via its underlying bunched logics, A logic of separating modalities, Bringing Order to the Separation Logic Jungle, A Unified Display Proof Theory for Bunched Logic, An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics, A Modal BI Logic for Dynamic Resource Properties, Completeness for a First-Order Abstract Separation Logic, Undecidability of Propositional Separation Logic and Its Neighbours, Coalgebraic completeness-via-canonicity for distributive substructural logics, Temporal BI: proof system, semantics and translations, An Epistemic Separation Logic, Distributive residuated frames and generalized bunched implication algebras, Bunched logics displayed, Semantical analysis of the logic of bunched implications, An epistemic separation logic with action models, Unnamed Item, An algebraic glimpse at bunched implications and separation logic, A calculus and logic of bunched resources and processes, A public announcement separation logic, Focused proof-search in the logic of bunched implications, Unnamed Item, Unnamed Item, Constructive decision via redundancy-free proof-search, Unnamed Item, Unnamed Item, Intuitionistic Layered Graph Logic, Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding, A Substructural Epistemic Resource Logic, Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic