Modal Logics for Integral Spacetime
Dissertation, The University of Wisconsin - Madison (
1999)
Copy
BIBTEX
Abstract
The main project of this dissertation is to analyze various temporal conceptions of modality for discrete n-dimensional spacetime. The first chapter contains an introduction to the problem and known results. Chapter 2 consists of a study of logics which are analogues of the so-called 'logic of today and tomorrow' and 'logic of tomorrow' investigated by Segerberg and others. We consider the analogues of these successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages and prove completeness theorems. We also establish that the irreflexive successor logic in the "standard" modal language is not finitely axiomatizable. ;Chapter 3 investigates the axiomatization problem for 2-dimensional integral spacetime frames with Robb's irreflexive 'after' relation. We provide an axiomatization in a multimodal language and prove that this axiomatization is complete. We use this result to prove the system in the "standard" modal language is decidable. ;In Chapter 4 we take up the problem of what the correct Diodorean modal logic is for 2-dimensional integral spacetime. We show that the corresponding Diodorean modal logic is not S4.2, nor indeed any known modal system. We then present several candidate axioms and prove their independence in the context of S4.2. We also study some of the sublogics of the Diodorean modal logic for 2-dimensional discrete spacetime . ;The final chapter contains some general results. First we prove that for every n ≥ 2 the n-dimensional frame determines a unique Diodorean modal logic. We also consider temporal logics in the language with F and P for two kinds of irreflexive spacetime frames. We prove that for every n ≥ 2 the n-dimensional frame with Robb's 'after' relation determines a unique temporal logic. We also prove a generalized completeness theorem for n-dimensional irreflexive successor logics. Finally, in an appendix, we provide a list of selected open problems and indicate directions for future research in this area