Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Combinations of Tense and Modality for Predicate Logic

Stefan Wölfl
Journal of Philosophical Logic
Vol. 28, No. 4 (Aug., 1999), pp. 371-398
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226677
Page Count: 28
  • Download ($43.95)
  • Cite this Item
Combinations of Tense and Modality for Predicate Logic
Preview not available

Abstract

In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of predicate logic are desirable, and in this paper I present two such results. The main developments in this area can be split into two directions, differing in the question whether the ordering of time is world-independent or not. Semantically, this difference appears in the discussion whether T x W-frames or Kamp-frames (resp. Ockham-frames) provide a suitable semantics for combinations of tense and modality. Here, two calculi are presented, the first adequate with respect to Kamp-semantics, the second to T x Wsemantics. (Both calculi contain an appropriate version of Gabbay's irreflexivity rule.) Furthermore, the proposed constructions of canonical frames simplify some of those which have hitherto been discussed.

Page Thumbnails

  • Thumbnail: Page 
[371]
    [371]
  • Thumbnail: Page 
372
    372
  • Thumbnail: Page 
373
    373
  • Thumbnail: Page 
374
    374
  • Thumbnail: Page 
375
    375
  • Thumbnail: Page 
376
    376
  • Thumbnail: Page 
377
    377
  • Thumbnail: Page 
378
    378
  • Thumbnail: Page 
379
    379
  • Thumbnail: Page 
380
    380
  • Thumbnail: Page 
381
    381
  • Thumbnail: Page 
382
    382
  • Thumbnail: Page 
383
    383
  • Thumbnail: Page 
384
    384
  • Thumbnail: Page 
385
    385
  • Thumbnail: Page 
386
    386
  • Thumbnail: Page 
387
    387
  • Thumbnail: Page 
388
    388
  • Thumbnail: Page 
389
    389
  • Thumbnail: Page 
390
    390
  • Thumbnail: Page 
391
    391
  • Thumbnail: Page 
392
    392
  • Thumbnail: Page 
393
    393
  • Thumbnail: Page 
394
    394
  • Thumbnail: Page 
395
    395
  • Thumbnail: Page 
396
    396
  • Thumbnail: Page 
397
    397
  • Thumbnail: Page 
398
    398