Method of analytic tableaux

Known as: Truth-tree, Tableau proof, Proof tableau 
In proof theory, the semantic tableau (French pronunciation: ​[ta'blo]; singular: tableau; plural: tableaux), also called truth tree, is a decision… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1971-2018
0204019712018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). We give a… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2009
2009
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The… (More)
  • figure 1
Is this relevant?
2001
2001
The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for… (More)
  • figure 1
  • figure 2
Is this relevant?
1997
1997
Linear logic can be used as a meta-logic for the specifica-<lb>tion of some sequent calculus proof systems. We explore in this… (More)
Is this relevant?
1996
1996
Following the approach [Schwind, Risch, 91] to Reiter’s default logic, tiffs paper attempts to define a general tableaux-based… (More)
Is this relevant?
1996
1996
We present a semantic tableaux calculus for propositional nonmonotonic modal logics, based on possible-worlds characterisations… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of… (More)
Is this relevant?
1994
1994
Murray, N.V. and E. Rosenthal, On the relative merits of path dissolution and the method of analytic tableaux, Theoretical… (More)
  • figure 1
  • figure 5
  • figure I
  • figure 9
  • figure 2
Is this relevant?
1991
1991
The propositional monotonic modal logics K45, K45D, S4:2, S4R and S4F elegantly capture the semantics of many current… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Queries in relational databases can be formulated in terms of relational expressions using the relational operations select… (More)
  • figure I
  • figure 2
Is this relevant?