Nominal tense logic

Patrick Blackburn*

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

Abstract

This paper considers the logical consequences of making Priorean tense logic referential by sorting its atomic symbols. A second sort of atomic symbol, the nominal, is introduced and these are constrained to be true at exactly one point in any model. The resulting gain in expressive power is examined, and a number of logics are axiomatized and shown to be decidable. The relevance of the extension to the semantics of natural language is briefly noted.
OriginalsprogEngelsk
TidsskriftNotre Dame Journal of Formal Logic
Vol/bind34
Udgave nummer1
Sider (fra-til)56-83
Antal sider28
ISSN0029-4527
DOI
StatusUdgivet - 1993
Udgivet eksterntJa

Citer dette