Publication:4405136
From MaRDI portal
zbMath0278.02016MaRDI QIDQ4405136
Publication date: 1973
03B45: Modal logic (including the logic of norms)
Related Items
Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Logical matrices and the amalgamation property, On detachment-substitutional formalization in normal modal logics, The parameterized local deduction theorem for quasivarieties of algebras and its application