scientific article
From MaRDI portal
Publication:3030269
zbMath0626.68066MaRDI QIDQ3030269
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items
A tableau-like proof procedure for normal modal logics, Herbrand style proof procedures for modal logic, An epistemic model of logic programming, Resolution for some first-order modal systems, TABLEAUX: A general theorem prover for modal logics, On the autoepistemic reconstruction of logic programming, An intensional epistemic logic
