Statements (41)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Formal_System
gptkb:logic |
| gptkbp:developedBy |
gptkb:Jaakko_Hintikka
1960s |
| gptkbp:fileExtension |
gptkb:Dynamic_epistemic_logic
First-order epistemic logic Probabilistic epistemic logic Temporal epistemic logic |
| gptkbp:formalizes |
Statements about belief
Statements about knowledge |
| gptkbp:hasApplication |
gptkb:Epistemology
Distributed computing Security protocols Multi-agent systems Common knowledge |
| gptkbp:hasAxiom |
Distribution axiom (K(p→q) → (Kp→Kq))
Knowledge is factive (if Kp then p) Negative introspection (if not Kp then K not Kp) Positive introspection (if Kp then KKp) |
| gptkbp:hasConcept |
Common knowledge
Group knowledge Higher-order knowledge Mutual knowledge |
| gptkbp:hasModalOperator |
B (believes)
K (knows) |
| gptkbp:hasSemantics |
gptkb:Kripke_semantics
|
| gptkbp:hasSyntax |
Modal operators
|
| gptkbp:numberOfIssues |
Logical omniscience problem
|
| gptkbp:partOf |
Modal logic family
|
| gptkbp:publishedIn |
Epistemic Logic and the Theory of Knowledge
Knowledge and Belief: An Introduction to the Logic of the Two Notions |
| gptkbp:relatedTo |
gptkb:logic
gptkb:Doxastic_Logic |
| gptkbp:studies |
gptkb:superstition
Knowledge |
| gptkbp:usedIn |
gptkb:Linguistics
gptkb:artificial_intelligence gptkb:philosophy gptkb:Game_Theory Computer Science |
| https://www.w3.org/2000/01/rdf-schema#label |
Epistemic Logic
|