Sciweavers

465 search results - page 2 / 93
» Knowledge and the Problem of Logical Omniscience
Sort
View
CSL
2006
Springer
13 years 9 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
TARK
2005
Springer
13 years 11 months ago
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
Rohit Parikh
TARK
1990
Springer
13 years 10 months ago
A Nonstandard Approach to the Logical Omniscience Problem
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
LOGCOM
2007
115views more  LOGCOM 2007»
13 years 6 months ago
The Dynamics of Syntactic Knowledge
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
Thomas Ågotnes, Natasha Alechina