Axiomatising logics with separating conjunction and modalities

DOI10.1007/978-3-030-19570-0_45OpenAlexW2943894054MaRDI QIDQ2296754FDOQ2296754

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• Verification of dynamic bisimulation theorems in Coq
• A logic of separating modalities
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• Hybrid logics of separation axioms
• Copy and remove as dynamic operators
• Title not available (Why is that?)

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)