Publication:3962962
From MaRDI portal
zbMath0498.03006MaRDI QIDQ3962962
Publication date: 1982
03B45: Modal logic (including the logic of norms)
01A65: Development of contemporary mathematics
03-03: History of mathematical logic and foundations
00A15: Bibliographies for mathematics in general
03Bxx: General logic
Related Items
Axiomatic and dual systems for constructive necessity, a formally verified equivalence, The Deduction Theorem (Before and After Herbrand), Does the deduction theorem fail for modal logic?, Algebraic aspects of deduction theorems