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

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. Aqvist, The logic of historical necessity as founded on two-dimensional modal tense logic, J. Philos. Logic 28 (1999) 329–369].

[1]  Nicholas Rescher,et al.  V.—ON THE LOGIC OF CHRONOLOGICAL PROPOSITIONS , 1966 .

[2]  Lennart Åqvist.  Old Foundations for the Logic of Agency and Action , 2002, Stud Logica.

[3]  Patrice Bailhache.  Essai de logique déontique , 1991 .

[4]  Lennart Åqvist.  The logic of historical necessity as founded on two-dimensional modal tense logic , 1999, J. Philos. Log..

[5]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[6]  Lennart Åqvist,et al.  three characterizability Problems in Deontic Logic , 2000 .

[7]  acobus Adrianus van Eck.  A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[8]  D. Makinson.  On Some Completeness Theorems in Modal Logic , 1966 .

[9]  Andrew J. I. Jones,et al.  Handbook of Philosophical Logic Vol. 8 , 2002 .

[10]  Lennart Åqvist,et al.  Causing Harm: A Logico-Legal Study , 1989 .

[11]  Franz von Kutschera,et al.  T × W Completeness , 1997, J. Philos. Log..

[12]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[13]  Alberto Zanardo,et al.  A finite axiomatization of the set of strongly valid Ockhamist formulas , 1985, J. Philos. Log..

[14]  Krister Segerberg,et al.  Two-dimensional modal logic , 1973, J. Philos. Log..

[15]  Marvin Belzer,et al.  Dyadic deontic detachment , 2004, Synthese.

[16]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[17]  L. Åqvist.  Systematic Frame Constants in Defeasible Deontic Logic: A New Form of Andersonian Reduction , 1997 .

[18]  Jaap Hoepelman,et al.  Some Theorems about a “Tree” System of Deontic Tense Logic , 1981 .