Studia Logica 56 (3):323-360 (1996)
AbstractWe propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that only knows and which honest enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for honesty. The rough syntactic definition of honesty is the existence of a minimal stable expansion, so the problem resides in the ordering relation underlying minimality. We discuss three different proposals for this ordering, together with their semantic counterparts, and show their effects on the induced notions of honesty
Added to PP
Historical graph of downloads
References found in this work
Semantic Considerations on Nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.
A Note on Non-Monotonic Modal Logic.Robert Stalnaker - 1993 - Artificial Intelligence 64 (2):183-196.
Citations of this work
No citations found.
Similar books and articles
Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van Der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61 - 84.
Honesty and Intimacy in Kant’s Duty of Friendship.R. Patricia C. Flynn - 2007 - International Philosophical Quarterly 47 (4):417-424.
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.