Nominal tense logic

Patrick Blackburn*

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review


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.
TidsskriftNotre Dame Journal of Formal Logic
Udgave nummer1
Sider (fra-til)56-83
Antal sider28
StatusUdgivet - 1993
Udgivet eksterntJa

Citer dette