Advertisement

Extended Tense Logic

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

Abstract

The Priorean language of the preceding chapter is not inextricably tied up with the usual point ontology: it may also be interpreted in period structures. Indeed, the same truth definition II.2.1.2. works as well in the latter context.

Keywords

Period Structure Intuitionistic Logic Related Principle Tense Logic Truth Definition 
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