scientific article
From MaRDI portal
Publication:3712315
zbMATH Open0586.03014MaRDI QIDQ3712315
Publication date: 1986
Title of this publication is not available (Why is that?)
Kripke-style modelssingle-conclusion propertyHeyting S4Heyting S5higher-level sequent formulation of S5
Related Items (3)
Nested sequents for intuitionistic modal logics via structural refinement ⋮ Title not available (Why is that?) ⋮ Tree-sequent calculi and decision procedures for intuitionistic modal logics
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 Q3712315)
