Wiebe van der Hoek, Jan Jaspars, Elias Thijsse  Home/Search
Context Related
| csc.liv.ac.uk/~wiebe/pubs/...honesty.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~wiebe/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Cited by: More
A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (Correct)
Theories of Knowledge and Ignorance - van der Hoek, Jaspars, Thijsse (Correct)
Similar documents (at the sentence level):
15.3%: Honesty in Partial Logic - van der Hoek, Jaspars, Thijsse (1993) (Correct)
Active bibliography (related documents): More All
0.6: Partial Up and Down Logic - Jaspars (1995) (Correct)
0.3: A Critical Reexamination of Default Logic, Autoepistemic Logic.. - Halpern (Correct)
0.3: Partial Logics With Two Kinds of Negation as a Foundation .. - Herre, Jaspars, Wagner (1995) (Correct)
Similar documents based on text:
96.0: Unknown - (Correct)
Related documents from co-citation: More All
2: All I know: A study in autoepistemic logic (context) - Hector - 1989
2: All they know: a study in multi-agent autoepistemic reasoning (context) - LAKEMEYER - 1993
2: A general approach to multi-agent minimal knowledge: with tools and samples - van der Hoek, Thijsse - 2002
BibTeX entry: (Update)
W. van der Hoek, J.O.M. Jaspars, & E.G.C. Thijsse, `Honesty in Partial Logic'. Studia Logica, 56 (3), 323-360, 1996. http://citeseer.ist.psu.edu/vanderhoek96honesty.html More
@incollection{ vanderhoek94honesty,
author = "Wiebe {van der Hoek} and Elias Thijsse",
title = "Honesty in Partial Logic",
booktitle = "{KR}'94: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Jon Doyle and Erik Sandewall and Pietro Torasso",
pages = "583--594",
year = "1994",
url = "citeseer.ist.psu.edu/vanderhoek96honesty.html" }
Citations (may not include all citations):346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
311 Semantical considerations on non-monotonic logic (context) - Moore - 1985
274 Situations and Attitudes (context) - Barwise, Perry - 1983
45 Partial Logic (context) - Blamey - 1986
23 Towards a theory of knowledge and ignorance (context) - Halpern, Moses - 1985
20 Partial logic and knowledge representation (context) - Thijsse - 1992
18 A note on non-monotonic modal logic (context) - Stalnaker - 1993
11 csli Lecture Notes No (context) - Langholm - 1988
9 Lambdas and Dynamic Logic (context) - Benthem - 1991
7 Calculi for Constructive Communication: A Study of the Dynam.. (context) - Jaspars - 1994
7 Fundamentals of Partial Modal Logic (context) - Jaspars, Thijsse
7 Saturated intuitionistic theories (context) - Aczel - 1968
5 A generalization of stability and its application to circums.. (context) - Jaspars - 1991
4 Normal forms in partial modal logic (context) - Jaspars - 1993
3 Theoretical circumscription in partial modal logic (context) - Jaspars - 1991
3 Modal logic S4F and the minimal knowledge paradigm (context) - Schwarz, Truszczynski - 1992
3 Cresswell - A Companion to Modal Logic (context) - Hughes - 1984
2 Honesty in Partial Logic - Hoek, van der and et al. - 1994
2 Partial propositional and modal logic: the overall theory (context) - Thijsse - 1990
2 Modal logics for communication systems (context) - Stirling - 1987
Documents on the same site (http://www.csc.liv.ac.uk/~wiebe/pubs/): More
Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC