Pages that link to "Item:Q2487871"
From MaRDI portal
The following pages link to The semantics and proof theory of the logic of bunched implications (Q2487871):
Displaying 49 items.
- Bunched sequential information (Q266883) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Algebra and logic for access control (Q968301) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- An Epistemic Separation Logic (Q2947467) (← 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)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- (Q5111325) (← links)
- (Q5155678) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
