Statements (43)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
Formal System |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Epistemic Logic
|
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 |
gptkbp:bfsParent |
gptkb:logic
|
gptkbp:bfsLayer |
4
|