Nominal tense logic

Patrick Blackburn*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-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.

Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Issue number1
Pages (from-to)56-83
Number of pages28
Publication statusPublished - 1993
Externally publishedYes

Cite this