scientific article; zbMATH DE number 1341473

zbMATH Open0931.03031MaRDI QIDQ4263012

Stéphane Demri

Publication date: 28 February 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (3)

Simple cut elimination proof for hybrid logic ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Uses Software

• KtSeqC
• ModLeanTAP

Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• 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 👍 👎
• Display Calculi for Nominal Tense Logics 👍 👎
• A simple sequent calculus for nominal logic 👍 👎

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)