Termination of derivations for minimal tense logic

zbMATH Open1338.03040MaRDI QIDQ2809679

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

sequent calculustense logicindexationloop-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

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Cut-free sequent calculi for some tense logics 👍 👎
• A temporal semantics for nilpotent minimum logic 👍 👎
• Intuitionistic tense and modal logic 👍 👎
• The finite model property in tense logic 👍 👎
• Properties of Tense Logics 👍 👎
• Minimal refinements of specifications in modal and temporal logics 👍 👎
• Minimal refinements of specifications in modal and temporal logics 👍 👎

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)