engleski

A logic of objects and appearances

The local reasoning approach is applied to Kripke's puzzle about belief. A model is defined with a hierarchy of social agents with possibly differing values of predicates. First-order modal models are presented with the additional S relation on the set of worlds, to model de re contradictions for an agent.

objects; agents; appearances; local reasoning; social structure; mode of presentation

nije evidentirano