A forward internal calculus for model generation in S4

DOI10.1093/LOGCOM/EXAB014MaRDI QIDQ3382807zbMATH OpenOpenAlexFDO

Authors Camillo Fiorentini, Mauro Ferrari

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/exab014

Mathematics Subject Classification ID

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

Recommendations

• Path calculus in the modal logic S4
• Loop-free calculus for modal logic S4. II
• Terminating sequent calculi for proving and refuting formulas in S4
• scientific article; zbMATH DE number 970622
• A model-constructing satisfiability calculus

Cited in

(1)

• A Gödel modal logic over witnessed crisp models

This page was built for publication: A forward internal calculus for model generation in S4

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