Method of analytic tableaux
Semantic Scholar uses AI to extract papers important to this topic.
- ACM Trans. Comput. Log.
We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). We give a… (More)
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The… (More)
The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for… (More)
- Lecture Notes in Computer Science
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)
- Journal of Applied Non-Classical Logics
Following the approach [Schwind, Risch, 91] to Reiter’s default logic, tiffs paper attempts to define a general tableaux-based… (More)
We present a semantic tableaux calculus for propositional nonmonotonic modal logics, based on possible-worlds characterisations… (More)
A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of… (More)
Murray, N.V. and E. Rosenthal, On the relative merits of path dissolution and the method of analytic tableaux, Theoretical… (More)
The propositional monotonic modal logics K45, K45D, S4:2, S4R and S4F elegantly capture the semantics of many current… (More)
Queries in relational databases can be formulated in terms of relational expressions using the relational operations select… (More)