Identity in modal logic theorem proving

DOI10.1007/BF01058393MaRDI QIDQ687161zbMATH OpenOpenAlexFDO

Authors Francis Jeffry Pelletier

Publication date 17 October 1994

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01058393

zbMATH Keywords

equality in modal logicrelational translation

Mathematics Subject Classification ID

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

Recommendations

• Quantified Modal Logic With Rigid Terms
• Modal Theorem Proving: An Equational Viewpoint
• Semantics-Based Translation Methods for Modal Logics
• Formula-layered predicate modal logic
• Alternative translation techniques for propositional and first-order modal logics

Cites work

• scientific article; zbMATH DE number 3989325 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 4061193 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 67847 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Methods for Automated Theorem Proving in Nonclassical Logics

Cited in

(3)

• Logics that are generated by idempotents
• Criteria of Identity and their Logical Form
• scientific article; zbMATH DE number 3910370 (Why is no real title available?)

This page was built for publication: Identity in modal logic theorem proving

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