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