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 (12)
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
- Unnamed Item
- 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
This page was built for publication: A Modal BI Logic for Dynamic Resource Properties