Labelled tableaux for linear time bunched implication logic

DOI10.4230/LIPICS.FSCD.2023.31MaRDI QIDQ6622076zbMATH OpenFDO

Authors Didier Galmiche, Daniel Méry

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.31

zbMATH Keywords

bunched implication logiclabelled deductiontableauxtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Temporal BI: proof system, semantics and translations
• Semantic Labelled Tableaux for Propositional BI
• The semantics of BI and resource tableaux
• scientific article; zbMATH DE number 1948162
• A modal BI logic for dynamic resource properties

This page was built for publication: Labelled tableaux for linear time bunched implication logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6622076)