An intensional epistemic logic

DOI10.1007/BF01058391zbMath0796.03025OpenAlexW1975223030MaRDI QIDQ687156

Yue J. Jiang

Publication date: 26 September 1994

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

equality handlingextended Kripke semanticsextension of SLD resolution with paramodulationmulti-modal version of Horn clausesquantified multi-modal logic with equality

Mathematics Subject Classification ID

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

Related Items (1)

On the autoepistemic reconstruction of logic programming

Cites Work

• An epistemic model of logic programming
• Horn equational theories and paramodulation
• An Efficient Unification Algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An intensional epistemic logic