Topological reasoning and the logic of knowledge
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge
Modal logic
An alternative logic for knowability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Hi-index | 0.00 |
The aim of this paper is to incorporate a qualitative approach to measurement into the more general concept of effort. The fundamental idea to achieve this goal is to assign suitable modalities to the methods of measurement being available to an agent. The knowledge of the agent changes, in fact, generally increases by applying such methods. Thus, the system should be able to describe this change of knowledge as well. We develop an appropriate logic, show that it satisfies some of the fundamental properties that are desirable at any rate, and discuss possible extensions.