scientific article; zbMATH DE number 3979042

MaRDI QIDQ3744149zbMATH OpenFDO

Authors Kosta Došen

Publication date 1985

zbMATH Keywords

Heyting S4Heyting S5higher-level sequent formulation of S5Kripke-style modelssingle-conclusion property

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3961579
• scientific article; zbMATH DE number 3939326
• scientific article; zbMATH DE number 2063232
• Sequent-systems for modal logic
• Modular sequent systems for modal logic
• Nested sequents for intuitionistic modal logics via structural refinement
• Gentzen sequent calculi for some intuitionistic modal logics
• scientific article; zbMATH DE number 1252393
• Nested sequents for intuitionistic logics
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

Cited in

(2)

• Nested sequents for intuitionistic modal logics via structural refinement
• scientific article; zbMATH DE number 2024634 (Why is no real title available?)

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