L.K. Dillon (dillon-lk)

Contributions to Philosophie.ch

Bibliography

Kutty, George Matthew, Moser, Louise E., Melliar-Smith, P. M., Dillon, L. K. and Ramakrishna, Y. S. 1994. “First-Order Future Interval Logic.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 195–209. Lecture Notes in Computer Science n. 827. Berlin: Springer.