Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation |
| |
Authors: | Lennart qvist |
| |
Affiliation: | Department of Law, Uppsala University, 751 20 Uppsala, Sweden |
| |
Abstract: | 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 so-called 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]. |
| |
Keywords: | Temporal realization operators Historical necessity Conditional obligation Finite two-dimensional co-ordinate system Frame constants |
本文献已被 ScienceDirect 等数据库收录! |
|