Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation

Journal of Applied Logic

Volumn 3, Issue 3-4, 2005, Pages 421-460

  Åqvist, Lennart ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Conditional obligation; Finite two dimensional co ordinate system; Frame constants; Historical necessity; Temporal realization operators

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SEMANTICS; SET THEORY; SYNTACTICS; THEOREM PROVING;

CONDITIONAL OBLIGATION; FINITE TWO DIMENSIONAL COORDINATE SYSTEM; FRAME CONSTANTS; HISTORICAL NECESSITY; TEMPORAL REALIZATION OPERATORS;

FORMAL LOGIC;

EID: 23844446477     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.04.002     Document Type: Article

References (22)

1. L. Åqvist Discrete tense logic with beginning and ending time: An infinite hierarchy of complete axiomatic systems Logique Anal. 34 1991 359-401
2. L. Åqvist Systematic frame constants in defeasible deontic logic: A new form of Andersonian reduction in: D. Nute (Ed.) Defeasible Deontic Logic 1997 Kluwer Dordrecht 59-77
3. L. Åqvist The logic of historical necessity as founded on two-dimensional modal tense logic J. Philos. Logic 28 1999 329-369
4. L. Åqvist Three characterizability problems in deontic logic Nordic J. Philos. Logic 5 2000 65-82
5. L. Åqvist Conditionality and branching time in deontic logic: Further remarks on the Alchourrón & Bulygin example in: J. Horty A.J.I. Jones (Eds.) ΔEON'02: Sixth International Workshop on Deontic Logic in Computer Science 2002 Imperial College London 323-343
6. L. Åqvist Old foundations for the logic of agency and action Studia Logica 72 2002 313-338
7. L. Åqvist J. Hoepelman Some theorems about a "tree" system of deontic tense logic in: R. Hilpinen (Ed.) New Studies in Deontic Logic 1981 Reidel Dordrecht 187-221
8. L. Åqvist Ph. Mullock Causing Harm: A Logico-Legal Study 1989 W. de Gruyter Berlin
9. P. Bailhache Essai de logique déontique 1991 Librairie Philosophique J. Vrin Paris (Chapitre quatre: Normes et temps, pp. 62-87)
10. P. Bailhache The deontic branching time: Two related conceptions Logique Anal. 36 1993 159-175
11. J. Carmo A.J.I. Jones Deontic logic and contrary-to-duties in: D.M. Gabbay F. Guenthner (Eds.) Handbook of Philosophical Logic, vol. 8 second ed. 2002 Kluwer Dordrecht 265-343
12. J.A. van Eck A system of temporally relative modal and deontic predicate logic and its philosophical applications Rijksuniversiteit te Groningen: Department of Philosophy, Doctoral dissertation, 1981
13. J.A. van Eck Also in Logique Anal. 25 1982 249-290, 339-381
14. F. von Kutschera Rezension von (review of) Åqvist and Mullock (1989) Erkenntnis 44 1996 113-118
15. F. von Kutschera T×W completeness J. Philos. Logic 26 1997 241-250
16. B. Loewer M. Belzer Dyadic deontic detachment Synthese 54 1983 295-318
17. D. Makinson On some completeness theorems in modal logic Zeit. Math. Logik Grund. Math. 12 1966 379-384
18. N. Rescher On the logic of chronological propositions Mind 75 1966 75-96
19. N. Rescher A. Urquhart Temporal Logic 1971 Springer Wien
20. K. Segerberg Two-dimensional modal logic J. Philos. Logic 2 1973 77-96
21. G.H. von Wright Practical Reason 1983 Blackwell Oxford
22. A. Zanardo A finite axiomatization of the set of strongly valid Ockhamist formulas J. Philos. Logic 14 1985 447-468