The semantics of BI and resource tableaux
From MaRDI portal
Publication:3371525
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)
proof searchsemantic tableauxresource semanticslogic of bunched implicationsTopological semanticsresource distribution
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