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)

Cited In (1)

• Method of marks for propositional linear temporal logic

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)