Internal proof calculi for modal logics with separating conjunction

DOI10.1093/LOGCOM/EXAB016OpenAlexW3162242398MaRDI QIDQ3382809FDOQ3382809

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

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

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)

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)