Advertisement

Points

  • J. F. A. K. Van Benthem
Chapter
  • 150 Downloads
Part of the Synthese Library book series (SYLI, volume 156)

Abstract

In this chapter the traditional temporal structures will be studied, consisting of points in time ordered by a relation of precedence (‘earlier’, ‘before’).

Keywords

Temporal Structure Atomic Formula Point Structure Axiomatic Theory Tense Logic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1983

Authors and Affiliations

  • J. F. A. K. Van Benthem
    • 1
  1. 1.Filosofisch InstituutRijksuniversiteit GroningenThe Netherlands

Personalised recommendations