Axiomatising logics with separating conjunction and modalities

DOI10.1007/978-3-030-19570-0_45MaRDI QIDQ2296754zbMATH OpenOpenAlexFDO

Authors Raul Fervari, Alessio Mansutti, Stéphane Demri

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_45

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Internal proof calculi for modal logics with separating conjunction
• The power of modal separation logics
• On the complexity of modal separation logics
• A logic of separating modalities
• Separation logics and modalities: a survey

Cited in

(7)

• Hybrid logics of separation axioms
• Verification of dynamic bisimulation theorems in Coq
• A logic of separating modalities
• Internal proof calculi for modal logics with separating conjunction
• A complete axiomatisation for quantifier-free separation logic
• Copy and remove as dynamic operators
• Conjunctive normal forms and weak modal logics without the axiom of necessity

This page was built for publication: Axiomatising logics with separating conjunction and modalities

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