scientific article; zbMATH DE number 1163393

MaRDI QIDQ4394922zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 11 June 1998

zbMATH Keywords

display logicHilbert-style calculusnatural deductionsequent calculitableauxtense logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3877151
• scientific article; zbMATH DE number 757645
• Expressiveness and completeness of an interval tense logic
• An `almost classical' period-based tense logic
• scientific article; zbMATH DE number 759442
• scientific article; zbMATH DE number 1486931
• Properties of Tense Logics
• A counterexample in tense logic
• scientific article; zbMATH DE number 1989646

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