scientific article; zbMATH DE number 1341473

MaRDI QIDQ4263012zbMATH OpenFDO

Authors Stéphane Demri

Publication date 28 February 2000

zbMATH Keywords

Kripke modelsrestricted cut-rulesequent calculi for fragments of classical logicsequent-style calculi for nominal tense logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Display Calculi for Nominal Tense Logics
• Cut-free sequent calculi for some tense logics
• scientific article; zbMATH DE number 1341474
• The sequent systems and algebraic semantics of intuitionistic tense logics
• Sequent calculi of transitional composition-nominative modal logics
• On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
• scientific article; zbMATH DE number 1301971
• A simple sequent calculus for nominal logic
• scientific article; zbMATH DE number 757645
• scientific article; zbMATH DE number 3851048

Cited in

(8)

• Cut-free sequent calculi for some tense logics
• Simple cut elimination proof for hybrid logic
• On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
• scientific article; zbMATH DE number 3877151 (Why is no real title available?)
• scientific article; zbMATH DE number 1341474 (Why is no real title available?)
• Display Calculi for Nominal Tense Logics
• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• On temporal references via definite descriptions in first-order monadic logic of order

Describes a project that uses

Uses Software

• KtSeqC
• ModLeanTAP

This page was built for publication:

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