Studia Logica 56 (3):323-360 (1996)

Wiebe Van Der Hoek
University of Liverpool
We 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
Keywords circumscription  honesty  modal logic  partial models  stable sets
Categories (categorize this paper)
DOI 10.1007/BF00372771
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,242
Through your library

References found in this work BETA

Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
Semantic Considerations on Nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
21 ( #496,173 of 2,419,523 )

Recent downloads (6 months)
1 ( #542,629 of 2,419,523 )

How can I increase my downloads?


My notes