A Modal BI Logic for Dynamic Resource Properties
From MaRDI portal
Publication:3455841
DOI10.1007/978-3-642-35722-0_10zbMath1437.03116OpenAlexW2239871128MaRDI QIDQ3455841
Jean-René Courtault, Didier Galmiche
Publication date: 11 December 2015
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_10
Related Items
A logic of separating modalities, Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition, Coalgebraic completeness-via-canonicity for distributive substructural logics, An Epistemic Separation Logic, Separation logics and modalities: a survey, Non-normal modalities in variants of linear logic, Two-Variable Separation Logic and Its Inner Circle, A public announcement separation logic, Unnamed Item, Unnamed Item, Unnamed Item, Intuitionistic Layered Graph Logic
Cites Work
- Linear logic
- Completeness results for linear logic on Petri nets
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
- The semantics of BI and resource tableaux
- Tableaux and Resource Graphs for Separation Logic
- The Logic of Bunched Implications
- An axiomatic basis for computer programming
- Unnamed Item