Stable Theories in Autoepistemic Logic

1 April 1989

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 12 (2) , 243-254
https://doi.org/10.3233/fi-1989-12209

Abstract

We investigate the operator producing a stable theory out of its objective part (A stable theory is a set of beliefs of a rational agent). We characterize the objective parts of stable theories. Finally, we discuss the predicate calculus case.

Keywords

AUTOEPISTEMIC LOGIC
BELIEFS
CALCULUS
PREDICATE
STABLE THEORY
INVESTIGATE THE OPERATOR
THEORIES IN AUTOEPISTEMIC
LOGIC WE INVESTIGATE

This publication has 0 references indexed in Scilit: