Existential Graphs and Tense Logic

Peter Øhrstrøm. Existential Graphs and Tense Logic. In Peter W. Eklund, Gerard Ellis, Graham Mann, editors, Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS 96, Sydney, Australia, August 19-22, 1996, Proceedings. Volume 1115 of Lecture Notes in Computer Science, pages 202-217, Springer, 1996.

Abstract

Abstract is missing.