scientific article; zbMATH DE number 3961579

MaRDI QIDQ3728880zbMATH OpenFDO

Authors Kosta Došen

Publication date 1986

Full work available at URL https://eudml.org/doc/117953

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Heyting S4Heyting S5higher-level sequent formulation of S5Kripke-stylemodelssingle-conclusion property

Mathematics Subject Classification ID

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

Cited in

(7)

• Modal logic as metalogic
• Maehara-style modal nested calculi
• Nested sequents for intuitionistic modal logics via structural refinement
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• scientific article; zbMATH DE number 2024634 (Why is no real title available?)
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Bilateral inversion principles

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