Combinations of tense and deontic modality: On the Rt approach to temporal logic with historical necessity and conditional obligation
暂无分享,去创建一个
[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 .