Grabiszewski, Konrad - In: Theory and Decision 78 (2015) 4, pp. 629-637
The standard model of knowledge, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$$(\varOmega ,P …> </InlineEquation> satisfies all knowledge axioms (Truth Axiom, Positive Introspection Axiom, and Negative Introspection Axiom …>,</mo> <mi>P</mi> <mo stretchy="false">)</mo> </mrow> </math> </EquationSource> </InlineEquation>, while satisfying all knowledge …