Doxastic Logic

GPTKB entity

Statements (49)
Predicate Object
gptkbp:instanceOf gptkb:logic
Philosophical logic
gptkbp:analyzes Formal properties of belief
gptkbp:concerns Closure of belief under logical consequence
Consistency of belief
Introspection of belief
Rational belief
gptkbp:contrastsWith Epistemic Logic (knowledge)
gptkbp:formalizes Belief operators
gptkbp:hasApplication gptkb:Game_theory
gptkb:Epistemology
gptkb:Philosophy_of_mind
gptkb:Semantic_web
Logic programming
Cognitive science
Human-computer interaction
Knowledge representation
Formal verification
Modal logic
Distributed systems
Security protocols
Theory of mind
Multi-agent systems
Automated reasoning
Belief revision
Legal reasoning
Artificial agents
Agent communication languages
Cognitive robotics
Formal epistemology
Non-monotonic reasoning
Social epistemology
gptkbp:hasAxiom 4
5
D
K
KD45
gptkbp:hasModalOperator B (for 'believes')
https://www.w3.org/2000/01/rdf-schema#label Doxastic Logic
gptkbp:relatedTo gptkb:Epistemic_Logic
gptkbp:studiedBy gptkb:Logicians
Philosophers
Computer scientists
gptkbp:studies gptkb:superstition
gptkbp:usedIn gptkb:artificial_intelligence
gptkb:philosophy
Computer Science
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4