Temporal Logic pp 320-343 | Cite as

Graphs for time and modality

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)


As we have mentioned in part 2, C.S. Peirce established a calculatory technique of logical graphs. These so-called existential graphs have been studied carefully by computer scientists and others for some years. Since the beginning of the 1980’s, John Sowa [1984] and others have tried to systematise a modern version of Peirce’s existential graphs — and indeed, to implement it computationally. (A somewhat different but also highly interesting modernisation is Harmen van den Berg’s ‘Knowledge Graphs’ [1993a].) It seems that the modern version of the Peircean graphs known as ‘conceptual graphs’ is useful within artificial intelligence in a broad sense — including interfaces to databases, deductive databases, and the like. In this chapter we shall study the Peircean ideas and some of the problems Peirce left open. We shall focus on the ‘graphical’ representation of tempo-modal problems.


Modal Logic Married Woman Epistemic Logic Tense Operator Conceptual Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1995

Personalised recommendations