Termination of derivations for minimal tense logic

zbMATH Open1338.03040MaRDI QIDQ2809679FDOQ2809679

Authors: R. Pliuškevičius 

Publication date: 30 May 2016

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

Recommendations

• scientific article; zbMATH DE number 3877151
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics
• scientific article; zbMATH DE number 759442
• A temporal semantics for nilpotent minimum logic
• Intuitionistic tense and modal logic
• The finite model property in tense logic
• scientific article; zbMATH DE number 724630
• Properties of Tense Logics
• Cut-free sequent calculi for some tense logics

zbMATH Keywords

tense logicsequent calculusindexationloop-checktermination of derivation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Cited In (4)

• Method of marks for propositional linear temporal logic
• A method of marks and indices for linear modal logic
• Efficient loop-check for backward proof search in some non-classical propositional logics
• Detecting Loops During Proof Search in Propositional Affine Logic

This page was built for publication: Termination of derivations for minimal tense logic

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