Modal Theorem Proving: An Equational Viewpoint

DOI10.1093/LOGCOM/2.3.247MaRDI QIDQ4018166zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

automated deductionmodal logicterm rewritingterminationpossible worldsskolemizationequational resolutiontranslations of modal formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Publication:3490986
• On two approaches to modal theorem proving
• Publication:3030268
• scientific article; zbMATH DE number 549980
• Strategies for modal resolution: Results and problems

Cited in

(18)

• Identity in modal logic theorem proving
• scientific article; zbMATH DE number 847937 (Why is no real title available?)
• On two approaches to modal theorem proving
• scientific article; zbMATH DE number 4164168 (Why is no real title available?)
• scientific article; zbMATH DE number 6863660 (Why is no real title available?)
• Representing scope in intuitionistic deductions
• Multimodal logic programming using equational and order-sorted logic
• Resolution-based calculi for modal and temporal logics
• A tableau-like proof procedure for normal modal logics
• First order meta theories
• scientific article; zbMATH DE number 1765692 (Why is no real title available?)
• scientific article; zbMATH DE number 1343458 (Why is no real title available?)
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Modular proof systems for partial functions with Evans equality
• First-order resolution methods for modal logics
• Capturing equilibrium models in modal logic
• Unsorted functional translations
• Labelled proofs for quantified modal logic

This page was built for publication: Modal Theorem Proving: An Equational Viewpoint

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4018166)