A Substructural Epistemic Resource Logic

DOI10.1007/978-3-662-54069-5_9zbMath1480.03009OpenAlexW2558436835MaRDI QIDQ5224495

Didier Galmiche, Pierre Kimmel, David J. Pym

Publication date: 24 July 2019

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/1550389/

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ Unnamed Item ⋮ A Substructural Epistemic Resource Logic

Cites Work

• Unnamed Item
• Unnamed Item
• A logic of separating modalities
• Resources, concurrency, and local reasoning
• A calculus and logic of bunched resources and processes
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Intuitionistic Layered Graph Logic
• Modeling Adversaries in a Logic for Security Protocol Analysis
• A substructural logic for layered graphs
• An Epistemic Separation Logic
• Layered graph logic as an assertion language for access control policy models
• The semantics of BI and resource tableaux
• The Logic of Bunched Implications
• A modal separation logic for resource dynamics
• BI as an assertion language for mutable data structures
• A Substructural Epistemic Resource Logic
• Epistemic Actions as Resources
• The formal strong completeness of partial monoidal Boolean BI

This page was built for publication: A Substructural Epistemic Resource Logic