The K Axiom (Kripke)
- An agent's knowledge is closed under implication.
Necessitation Rule
- If
is VALID then 
is VALID.
- An agent knows all valid formulaes.
Reflexive Accessibility Relation (T) or Knowledge Axiom
Serial Accessibility Relation (D)
- Agent's beliefs are non-contradictory.
Transitive Accessibility Relation (4) or Positive Introspection Axiom
Euclidean Accessibility Relation (5) or Negative Introspection Axiom
- Agent is aware of what it doesn't know.
KTD45 is idealised knowledge and KD45 as idealised belief.
[PossibleWorlds | BeliefDesireIntention | TheoryOfIntentions]
(last edited October 31, 2000)
Find Page by browsing or searching
NormalModalLogic