scientific article; zbMATH DE number 4045714

zbMATH Open0642.03013MaRDI QIDQ3783271FDOQ3783271

Authors: R. Pliuškevičius 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 1222483
• Taming displayed tense logics using nested sequents with deep inference
• Cut-free sequent calculi for some tense logics
• scientific article; zbMATH DE number 724630
• A labelled natural deduction system for linear temporal logic

zbMATH Keywords

sequential calculusKamp's propositional linear tense logicKanger's index methodSmullyan's analytical natural deduction methodstructural analytic index deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (1)

• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

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 Q3783271)