Existential Graphs and Dynamic Predicate Logic

Harman van den Berg. Existential Graphs and Dynamic Predicate Logic. In Gerard Ellis, Robert Levinson, William Rich, John F. Sowa, editors, Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS 95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings. Volume 954 of Lecture Notes in Computer Science, pages 338-352, Springer, 1995.

Abstract

Abstract is missing.