Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation
✍ Scribed by Lennart Åqvist
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 344 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1570-8683
No coin nor oath required. For personal study only.
✦ Synopsis
We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalities for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for socalled T × W logic of historical necessity in [L. Åqvist, The logic of historical necessity as founded on two-dimensional modal tense logic, J. Philos. Logic 28 (1999) 329-369].