* Korrekter Agent (accurate reasoner): Ein korrekter Agent glaubt niemals an einen falschen Glaubenssatz. ###>(modal axiom T): formula_4* Inaccurate reasoner: An inaccurate reasoner believes at least one false proposition.