A modal separation logic for resource dynamics

DOI10.1093/logcom/exv031zbMath1444.03049OpenAlexW2468564096MaRDI QIDQ4612424

Didier Galmiche, Jean-René Courtault

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv031

zbMATH Keywords

dynamicstableauxseparationresourcesmodalitiescounter-modelsBoolean BI logic

Mathematics Subject Classification ID

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

Related Items

On Composing Finite Forests with Modal Logics, An epistemic separation logic with action models, A separation logic with histories of epistemic actions as resources, A public announcement separation logic, Unnamed Item, Unnamed Item, A Substructural Epistemic Resource Logic