Epistemic logic and logical omniscience: A survey

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X" /><57::AID-INT3>3.0.CO;2-X 10.1002/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-XzbMath0890.03006OpenAlexW1972015197MaRDI QIDQ4332468

Kwang Mong Sim

Publication date: 23 June 1998

Full work available at URL: https://doi.org/10.1002/(sici)1098-111x(199701)12:1<57::aid-int3>3.0.co;2-x

zbMATH Keywords

epistemic logicpossible-worlds semanticsreasoning about knowledge and belieflogical omniscienceKripke StructureMontague-Scott model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (9)

The dynamics of awareness ⋮ Depth-bounded Epistemic Logic ⋮ The Dynamic Epistemic Logic for Actual Knowledge ⋮ Unnamed Item ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees ⋮ Doxastic logic: a new approach ⋮ Inference and update ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

This page was built for publication: Epistemic logic and logical omniscience: A survey