The main aim of the work reported in the disserta- tion has been to develop a way to model the process of rational inquiry (the evolution of a rational agent's belied set over time as a consequence of its interaction with the world and its internal inferential processes), keeping the general idea of the possible worlds model and the Kripke semantics(because, after all, they seem a very natural and intuitive semantics for modal log- cal omniscience and perfect reasoning (in order to take into account non-ideal agents).
展开▼
