scientific article; zbMATH DE number 3979042

zbMATH Open0606.03004MaRDI QIDQ3744149FDOQ3744149

Authors: Kosta Došen 

Publication date: 1985

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

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

zbMATH Keywords

Kripke-style modelssingle-conclusion propertyHeyting S4Heyting S5higher-level sequent formulation of S5

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Nested sequents for intuitionistic modal logics via structural refinement

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)