A simple deduction method for modal logic
From MaRDI portal
Publication:1051628
DOI10.1016/0020-0190(82)90085-0zbMath0515.03009MaRDI QIDQ1051628
Publication date: 1982
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(82)90085-0
knowledge representation; resolution; propositional modal logic; algorithmic logic; refutation procedure
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items
Talkin'bout consistency, or: When logically possible becomes possible, Automated inferencing, MOLOG: A system that extends PROLOG with modal logic, Linear strategy for propositional modal resolution, Modal resolution in clausal form, Resolution for some first-order modal systems, Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic, Resolution with order and selection for hybrid logics
Cites Work