[FOM] Logical omniscience in epistemic logics

[Aman Tripathi]

Hi,
One of the ways to model reasoning about knowledge and belief is by using
possible-worlds semantics. But this semantics seems to suffer from the
problem of Logical Omniscience (for knowledge is equated with truth in
all the possible worlds) . A number of attempts have been made to deal
with the problem within possible-worlds framework. However, the problem
remains in some form or the other. Can we use Situation Semantics instead
of possible worlds semantics to deal with the problem? 
- Aman
 

-- 
http://www.fastmail.fm - Access all of your messages and folders
                          wherever you are