The recursive resolution method for modal logic
From MaRDI portal
Publication:1104915
DOI10.1007/BF03037397zbMath0648.03005MaRDI QIDQ1104915
Publication date: 1987
Published in: New Generation Computing (Search for Journal in Brave)
modal logicS4modal normal formmodal resolvabilityRecursive ResolutionSkolem operatorstransformation process for modal clauses
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (2)
A resolution framework for finitely-valued first-order logics ⋮ A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
Cites Work
This page was built for publication: The recursive resolution method for modal logic