Institute of Information Theories and Applications FOI ITHEA
A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose
modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order
Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a
kernel not containing L such that L holds for a sentence if and only if that sentence is in the kernel. This result is
important because it shows that L is superfluous thereby allowing the ori ginal equivalence to be simplified by
eliminating L from it. It is also shown that the Kernel of Quantified Autoepistemic Logic is a generalization of
Quantified Reflective Logic, which coincides with it in the propositional case.