top

Nominal tense logic

P. Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 34:56–83, 1993.

Download: [pdf] 

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' (`instantaneous propositions'), 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.

BibTeX: (download)

@ARTICLE{blackburn93:_nomin,
  author = {P. Blackburn},
  title = {Nominal tense logic},
  journal = {Notre Dame Journal of Formal Logic},
  year = {1993},
  volume = {34},
  pages = {56--83},
  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' (`instantaneous propositions'), 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. }
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33