scientific article; zbMATH DE number 3052388
From MaRDI portal
Publication:5791647
zbMath0034.15303MaRDI QIDQ5791647
Publication date: 1948
Full work available at URL: https://eudml.org/doc/114664
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Intuitionistic non-normal modal logics: a general framework ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Game semantics for constructive modal logic ⋮ Models for normal intuitionistic modal logics ⋮ A framework for intuitionistic grammar logics ⋮ Maehara-style modal nested calculi ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ A strong completeness theorem in intuitionistic quantified modal logic
This page was built for publication: