Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.

The Diodorean interpretation of modality reads the operator as it is now and always will be the case that. In this paper time is modelled by the four-dimensional Minkowskian geometry that forms the basis of Einstein's special theory of relativity, with event y coming after event x just in case a signal can be sent from x to y at a speed at most that of the speed of light (so that y is in the causal future of x).It is (...) shown that the modal sentences valid in this structure are precisely the theorems of the well-known logic S4.2, and that this system axiomatises the logics of two and three dimensional spacetimes as well. (shrink)