The semantics and proof theory of the logic of bunched implications
From MaRDI portal
Publication:2487871
Recommendations
Cited in
(61)- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- An epistemic separation logic with action models
- An algebraic glimpse at bunched implications and separation logic
- Separation Logic Tutorial
- The logic of separation logic: models and proofs
- A separation logic with histories of epistemic actions as resources
- Logic for Programming, Artificial Intelligence, and Reasoning
- Separation logics and modalities: a survey
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
- scientific article; zbMATH DE number 1424038 (Why is no real title available?)
- Separation Logic Semantics for Communicating Processes
- Local reasoning about data update
- Ribbon proofs
- On the construction of free algebras for equational systems
- Join-completions of partially ordered algebras
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- A calculus and logic of resources and processes
- Algebra and logic for access control
- From IF to BI. A tale of dependence and separation
- Inconsistency-tolerant bunched implications
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- On Model Checking Boolean BI
- Fine-grained concurrency with separation logic
- Modal algebra and Petri nets
- Abstract syntax: substitution and binders
- Lewis meets Brouwer: constructive strict implication
- Logical consequence and the paradoxes
- Automated theorem proving by resolution in non-classical logics
- scientific article; zbMATH DE number 614413 (Why is no real title available?)
- Algebra and logic for resource-based systems modelling
- A public announcement separation logic
- Expressing second-order sentences in intuitionistic dependence logic
- A Games Model of Bunched Implications
- Exponential-size model property for PDL with separating parallel composition
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- Tableaux methods for propositional dynamic logics with separating parallel composition
- Coordination: Reo, Nets, and Logic
- Bunched logics displayed
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Footprints in Local Reasoning
- An epistemic separation logic
- Pseudo-distributive laws and axiomatics for variable binding
- A unified display proof theory for bunched logic
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Undecidability of propositional separation logic and its neighbours
- A complete axiomatisation for quantifier-free separation logic
- Weakening Relation Algebras and FL$$^2$$-algebras
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- The Lambek calculus extended with intuitionistic propositional logic
- Temporal BI: proof system, semantics and translations
- Bunched sequential information
- Semantical analysis of the logic of bunched implications
- On Composing Finite Forests with Modal Logics
- Focused proof-search in the logic of bunched implications
- On temporal and separation logics
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- The structure of generalized BI-algebras and weakening relation algebras
- Distributive residuated frames and generalized bunched implication algebras
- Kripke Resource Models of a Dependently-typed, Bunched -calculus
This page was built for publication: The semantics and proof theory of the logic of bunched implications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2487871)
