Later than late; on the origin of the temporal order’, to appear in Pacific Journal of Philosophy
J. P. Burgess
: ‘Decidability for branching time’, Studia Logica 39:2/3 (1980), 203–218.
J. A. van Eck
: ‘A system of temporally relative modal and deontic predicate logic and its philosophical applications’, dissertation, Rijksuniversiteit Groningen 1981.
J. Hintikka & L. Carlson
: ‘Conditionals, Generic Quantifiers, and other applications of subgames’, in A. Margalit(ed.): ‘Meaning and use’, Reidel, Dordrecht 1978, 57–92
A. Kratzer
: ‘Conditional Necessity and Possibility’, in R. Bäuerle, U. Egli & A. von Stechow(eds): ‘Semantics from different points of view’, Springer, Berlin 1979
J. Pollock
: ‘Subjunctive reasoning’, Reidel, Dordrecht 1976
F. Veltman
: ‘Data Semantics’, in J. Groenendijk, T. Janssen & M. Stokhof(eds): ‘Formal Methods in the Study of Language’, Mathematical Centre, Amsterdam 1981, 541–565
F. Veltman
: ‘Prejudices, Presuppositions and the Theory of Conditionals’, in J. Groenendijk & M. Stokhof(eds): ‘Amsterdam Papers in Formal Grammar’, Universiteit van Amsterdam 1976, 248–281