Time and Logic: A.N. Prior s Formal Analysis of Temporal Concepts

Peter Øhrstrøm. Time and Logic: A.N. Prior s Formal Analysis of Temporal Concepts. In Sébastien Ferré, Sebastian Rudolph, editors, Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Volume 5548 of Lecture Notes in Computer Science, pages 66-81, Springer, 2009. [doi]

Abstract

Abstract is missing.