Instant Tense Logic

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


The Priorean research program has blossomed into a whole logical discipline; its slightly shaky motivation notwithstanding.1 The enterprise is described in various textbooks already; whence a new introduction is not intended here. This chapter will rather contain a presentation stressing the general lay-out and spirit of the subject, providing a perspective upon contemporary technical research. As these considerations are not restricted to this special field, here is a sketch of the underlying view of logic in general.


Predicate Logic Point Structure Completeness Theorem Correspondence Theory Temporal Successor 
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

© 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