[FOM] Logical omniscience in epistemic logics

Aman Tripathi amantripathi at airpost.net
Tue Nov 4 09:37:37 EST 2003

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

More information about the FOM mailing list