Epistemic Logic

GPTKB entity

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