Time, tense, and modality : a study of branching time
This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the philosophy of time and modality, and motivate branching time. In the second chapter I outline the basics of temporal and modal logic and model theory. In chapter three I examine various ways of construin...
Saved in:
| Main Author | |
|---|---|
| Format | Dissertation |
| Language | English |
| Published |
University of Bristol
2011
|
| Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!