Termination of derivations for minimal tense logic

MaRDI QIDQ2809679zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 30 May 2016

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

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)

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

Cited in

(4)

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