epistemic logic
E1155347
UNEXPLORED
Epistemic logic is a branch of modal logic that formally studies reasoning about knowledge and belief, including what agents know, believe, and infer about each other’s mental states.
All labels observed (1)
| Label | Occurrences |
|---|---|
| epistemic logic canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T15391561 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: epistemic logic Context triple: [Electra paradox, relatedTo, epistemic logic]
-
A.
Epistemic Justification
Epistemic Justification is a work in philosophy that examines how and when beliefs are rationally supported by evidence and reasoning.
-
B.
Bayesian epistemology
Bayesian epistemology is a theory of knowledge that models rational belief and updating in terms of subjective probabilities governed by the rules of Bayesian probability theory.
-
C.
Logic and Knowledge
Logic and Knowledge is a collection of philosophical and logical essays by Bertrand Russell that includes influential papers on language, logic, and epistemology.
-
D.
Kripke semantics
Kripke semantics is a framework in modal and non-classical logic that interprets formulas via possible worlds and accessibility relations to model notions like necessity, possibility, and intuitionistic truth.
-
E.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: epistemic logic Target entity description: Epistemic logic is a branch of modal logic that formally studies reasoning about knowledge and belief, including what agents know, believe, and infer about each other’s mental states.
-
A.
Epistemic Justification
Epistemic Justification is a work in philosophy that examines how and when beliefs are rationally supported by evidence and reasoning.
-
B.
Bayesian epistemology
Bayesian epistemology is a theory of knowledge that models rational belief and updating in terms of subjective probabilities governed by the rules of Bayesian probability theory.
-
C.
Logic and Knowledge
Logic and Knowledge is a collection of philosophical and logical essays by Bertrand Russell that includes influential papers on language, logic, and epistemology.
-
D.
Kripke semantics
Kripke semantics is a framework in modal and non-classical logic that interprets formulas via possible worlds and accessibility relations to model notions like necessity, possibility, and intuitionistic truth.
-
E.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.