Internal proof calculi for modal logics with separating conjunction

DOI10.1093/LOGCOM/EXAB016MaRDI QIDQ3382809zbMATH OpenOpenAlexFDO

Authors Stéphane Demri, Raul Fervari, Alessio Mansutti

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

completenessmodal logicseparation logicHilbert-style axiomatizationreduction axiomcore formulainternal calculusseparating conjunction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Axiomatising logics with separating conjunction and modalities
• On the complexity of modal separation logics
• The power of modal separation logics
• Modular labelled sequent calculi for abstract separation logics
• A logic of separating modalities

Cited in

(2)

• Proof internalization in generalized Frege systems for classical logic
• On Composing Finite Forests with Modal Logics

This page was built for publication: Internal proof calculi for modal logics with separating conjunction

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