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.

If you need an accessible version of this item please contact JSTOR User Support

Axiomatization of 'Peircean' Branching-Time Logic

Alberto Zanardo
Studia Logica: An International Journal for Symbolic Logic
Vol. 49, No. 2 (1990), pp. 183-195
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015500
Page Count: 13
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Axiomatization of 'Peircean' Branching-Time Logic
Preview not available

Abstract

The branching-time logic called 'Peircean' by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.

Page Thumbnails

  • Thumbnail: Page 
[183]
    [183]
  • Thumbnail: Page 
184
    184
  • Thumbnail: Page 
185
    185
  • Thumbnail: Page 
186
    186
  • Thumbnail: Page 
187
    187
  • Thumbnail: Page 
188
    188
  • Thumbnail: Page 
189
    189
  • Thumbnail: Page 
190
    190
  • Thumbnail: Page 
191
    191
  • Thumbnail: Page 
192
    192
  • Thumbnail: Page 
193
    193
  • Thumbnail: Page 
194
    194
  • Thumbnail: Page 
195
    195