Honesty in partial logic

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

Abstract

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

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
22 (#518,498)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wiebe Van Der Hoek
University of Liverpool

References found in this work

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.
A Note on Non-Monotonic Modal Logic.Robert Stalnaker - 1993 - Artificial Intelligence 64 (2):183-196.

Add more references

Citations of this work

No citations found.

Add more citations