Doxastic logic¶

A modal logic that formalizes what agents believe and how those beliefs interact with implication, introspection and consistency.

Version: v2 · 2026-09-19 · History
Domain-specific #: 4263
Domain group: Humanities
Origin domain: Philosophy
Subdomain: Philosophical Logic → Philosophy

Core Idea¶

Belief is weaker than knowledge and need not be true, different axiom systems model idealized agents differently and logical omniscience is a modeling limitation. A belief operator indexed by an agent is interpreted over accessible possible worlds; frame conditions validate axioms governing closure, consistency and positive or negative introspection. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

Believing Isn't Knowing

Believing something is not the same as knowing it. You might believe your cookie is still in the jar, even if your brother already ate it. Doxastic logic is a set of careful rules for thinking about what someone believes, even when their belief turns out to be wrong.

The Logic of Beliefs

Doxastic logic is a kind of logic about beliefs. It lets you write sentences like 'Maya believes it will rain' and figure out what else follows. A key idea is that a belief can be false, while knowing something means it has to be true. One way it works is to picture all the ways the world might be, as far as Maya can tell, and say she believes something if it is true in every one of those pictures. Different rule sets describe different kinds of believers, like one who never believes two opposite things.

Possible-Worlds Belief Logic

Doxastic logic is the formal logic of belief. It adds an operator, often written B for a given agent, so 'B_a p' means 'agent a believes p'. Unlike knowledge in epistemic logic, belief is weaker and need not be true, so 'a believes p' does not imply p. It is usually interpreted with possible worlds: from each world, an agent can 'access' the worlds consistent with what they believe, and they believe p if p holds in all of those worlds. By choosing different axioms, you model different idealized believers, for example ones whose beliefs are consistent, or who know what they believe and what they do not. A known limitation is that these models make agents 'logically omniscient', believing every consequence of their beliefs, which real people are not.

Doxastic logic is a modal logic whose operators B_a are indexed by agents and read 'agent a believes that'. Semantics use Kripke models: a set of possible worlds, a doxastic accessibility relation for each agent, and a truth clause stating that B_a p holds at world w iff p holds at every world accessible to a from w. Axioms are then selected and matched to frame conditions: normality (closure of belief under implication), consistency (D, corresponding to seriality, so an agent never believes a contradiction), and positive and negative introspection (4 and 5, corresponding to transitivity and Euclideanness). The defining contrast with epistemic logic is that the truth axiom (B_a p implies p, reflexivity) is dropped, since belief is weaker than knowledge and can be false. Different axiom systems therefore describe differently idealized agents, and extensions add belief revision or multiple interacting agents. Logical omniscience, where agents believe all consequences of their beliefs, is a modeling limitation rather than a claim about real reasoners.

Scope of Application¶

Doxastic logic belongs to philosophical logic and is useful where the analyst can specify the typed philosophical logic carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic are explicit. The scope is broad within that domain but bounded by the need for the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Doxastic logic. Doxastic logic compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed philosophical logic carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of philosophical logic because they reuse the typed philosophical logic carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, A belief operator indexed by an agent is interpreted over accessible possible worlds; frame conditions validate axioms governing closure, consistency and positive or negative introspection., and type the carrier, state every parameter and convention in the definition, test that the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Doxastic logic Domain-specific

Parents (1) — outgoing typed relations

Doxastic logic is a kind of Belief Formation Prime

It remains its own entry because its identity is fixed by the agents and proposition language, indexed belief modalities, Kripke worlds and accessibility relation, truth clause for belief, selected normality consistency and introspection axioms, frame correspondences, belief revision or multi-agent extensions and distinction from epistemic logic.

Hierarchy path (1) — routes to 1 parentless root

Doxastic logic → is a kind of Belief Formation → is a kind of Interpretation → presupposes Representation → presupposes Abstraction

Neighborhood in Abstraction Space¶

Doxastic logic sits in a crowded region of the domain-specific corpus (4^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Truth, Meaning & Argumentation (37 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25