scientific article; zbMATH DE number 1341473
From MaRDI portal
Publication:4263012
zbMATH Open0931.03031MaRDI QIDQ4263012FDOQ4263012
Authors: Stéphane Demri 
Publication date: 28 February 2000
Title of this publication is not available (Why is that?)
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
Kripke modelsrestricted cut-rulesequent calculi for fragments of classical logicsequent-style calculi for nominal tense logics
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44)
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Simple cut elimination proof for hybrid logic
- Display Calculi for Nominal Tense Logics
- Title not available (Why is that?)
- Cut-free sequent calculi for some tense logics
Uses Software
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)
