In proof theory, the semantic tableau (French pronunciation: [ta'blo]; singular: tableau; plural: tableaux), also called truth tree, is a decision… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- ACM Trans. Comput. Log.
- 2009

We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). We give a… (More)

Is this relevant?

2009

2009

- Carlos Caleiro, João Marcos
- WoLLIC
- 2009

The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The… (More)

Is this relevant?

2001

2001

- Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
- STOC
- 2001

The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for… (More)

Is this relevant?

1997

1997

- J. van Leeuwen, Uwe Egly, Christian G. Fermüller
- Lecture Notes in Computer Science
- 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

- Vincent Risch
- Journal of Applied Non-Classical Logics
- 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

- Fabio Massacci
- CADE
- 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

- Neil V. Murray, Erik Rosenthal
- Theor. Comput. Sci.
- 1994

Murray, N.V. and E. Rosenthal, On the relative merits of path dissolution and the method of analytic tableaux, Theoretical… (More)

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

- Yehoshua Sagiv, Mihalis Yannakakis
- J. ACM
- 1980

Queries in relational databases can be formulated in terms of relational expressions using the relational operations select… (More)

Is this relevant?