scientific article; zbMATH DE number 4045714

MaRDI QIDQ3783271zbMATHFDO

Authors R. Pliuškevičius

Publication date 1987

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)

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

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)