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

Free-Variable Tableaux for Propositional Modal Logics

Bernhard Beckert and Rajeev Goré
Studia Logica: An International Journal for Symbolic Logic
Vol. 69, No. 1, Analytic Tableaux and Related Methods. Part 1: Modal Logics (Oct., 2001), pp. 59-96
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016338
Page Count: 38
  • Download PDF
  • Cite this Item

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
Free-Variable Tableaux for Propositional Modal Logics
Preview not available

Abstract

Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux.

Page Thumbnails

  • Thumbnail: Page 
[59]
    [59]
  • Thumbnail: Page 
60
    60
  • Thumbnail: Page 
61
    61
  • Thumbnail: Page 
62
    62
  • Thumbnail: Page 
63
    63
  • Thumbnail: Page 
64
    64
  • Thumbnail: Page 
65
    65
  • Thumbnail: Page 
66
    66
  • Thumbnail: Page 
67
    67
  • Thumbnail: Page 
68
    68
  • Thumbnail: Page 
69
    69
  • Thumbnail: Page 
70
    70
  • Thumbnail: Page 
71
    71
  • Thumbnail: Page 
72
    72
  • Thumbnail: Page 
73
    73
  • Thumbnail: Page 
74
    74
  • Thumbnail: Page 
75
    75
  • Thumbnail: Page 
76
    76
  • Thumbnail: Page 
77
    77
  • Thumbnail: Page 
78
    78
  • Thumbnail: Page 
79
    79
  • Thumbnail: Page 
80
    80
  • Thumbnail: Page 
81
    81
  • Thumbnail: Page 
82
    82
  • Thumbnail: Page 
83
    83
  • Thumbnail: Page 
84
    84
  • Thumbnail: Page 
85
    85
  • Thumbnail: Page 
86
    86
  • Thumbnail: Page 
87
    87
  • Thumbnail: Page 
88
    88
  • Thumbnail: Page 
89
    89
  • Thumbnail: Page 
90
    90
  • Thumbnail: Page 
91
    91
  • Thumbnail: Page 
92
    92
  • Thumbnail: Page 
93
    93
  • Thumbnail: Page 
94
    94
  • Thumbnail: Page 
95
    95
  • Thumbnail: Page 
96
    96