scientific article; zbMATH DE number 3961579

zbMATH Open0597.03011MaRDI QIDQ3728880FDOQ3728880

Authors: Kosta Došen 

Publication date: 1986

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

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

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

zbMATH Keywords

modelssingle-conclusion propertyHeyting S4Heyting S5higher-level sequent formulation of S5Kripke-style

Mathematics Subject Classification ID

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

Cited In (7)

• Maehara-style modal nested calculi
• Title not available (Why is that?)
• Nested sequents for intuitionistic modal logics via structural refinement
• Modal logic as metalogic
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Title not available (Why is that?)
• 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)