Modal Theorem Proving: An Equational Viewpoint
From MaRDI portal
Publication:4018166
DOI10.1093/logcom/2.3.247zbMath0757.03007OpenAlexW2063582240MaRDI QIDQ4018166
Yves Auffray, Patrice Enjalbert
Publication date: 16 January 1993
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4e2599bc3e884a2b934874f4eab20653130de2fa
modal logicpossible worldsterminationterm rewritingautomated deductionskolemizationequational resolutiontranslations of modal formulas
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, Resolution-based calculi for modal and temporal logics, Multimodal logic programming using equational and order-sorted logic, First-Order Resolution Methods for Modal Logics, Unsorted Functional Translations, Representing scope in intuitionistic deductions, Labelled proofs for quantified modal logic, Completeness of hyper-resolution via the semantics of disjunctive logic programs
