A Modal BI Logic for Dynamic Resource Properties

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

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