Default Logic as Dynamic Doxastic Logic

Segerberg, K. (1999). Default Logic as Dynamic Doxastic Logic.

Type

Unclassified

Intellectual base

Unclassified

Year

1999

DOI

10.1023/a:1005546526502

Link

https://doi.org/10.1023/a:1005546526502

Cited by

1 citation across 1 artifact.

Domain-specific

• Doxastic logic
  • … 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. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:12913e060239 · see in the full table