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

Refutation Systems in Modal Logic

Valentin Goranko
Studia Logica: An International Journal for Symbolic Logic
Vol. 53, No. 2 (May, 1994), pp. 299-324
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015722
Page Count: 26
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Refutation Systems in Modal Logic
Preview not available

Abstract

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Łukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

Page Thumbnails

  • Thumbnail: Page 
[299]
    [299]
  • Thumbnail: Page 
300
    300
  • Thumbnail: Page 
301
    301
  • Thumbnail: Page 
302
    302
  • Thumbnail: Page 
303
    303
  • Thumbnail: Page 
304
    304
  • Thumbnail: Page 
305
    305
  • Thumbnail: Page 
306
    306
  • Thumbnail: Page 
307
    307
  • Thumbnail: Page 
308
    308
  • Thumbnail: Page 
309
    309
  • Thumbnail: Page 
310
    310
  • Thumbnail: Page 
311
    311
  • Thumbnail: Page 
312
    312
  • Thumbnail: Page 
313
    313
  • Thumbnail: Page 
314
    314
  • Thumbnail: Page 
315
    315
  • Thumbnail: Page 
316
    316
  • Thumbnail: Page 
317
    317
  • Thumbnail: Page 
318
    318
  • Thumbnail: Page 
319
    319
  • Thumbnail: Page 
320
    320
  • Thumbnail: Page 
321
    321
  • Thumbnail: Page 
322
    322
  • Thumbnail: Page 
323
    323
  • Thumbnail: Page 
324
    324