A method of marks and indices for linear modal logic

zbMATH Open1338.03041MaRDI QIDQ2809680FDOQ2809680

Authors: Aida Pliuškevičienė, R. Pliuškevičius 

Publication date: 30 May 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

Recommendations

• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• Method of marks for propositional linear temporal logic
• Loop-free calculus for modal logic S4. I
• Loop-free calculus for modal logic S4. II
• Termination of derivations for minimal tense logic

zbMATH Keywords

modal logicssequent calculusterminationinvertible rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: A method of marks and indices for linear modal logic

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