Automated Reasoning with Analytic Tableaux and Related Methods

By R. Dyckhoff. Lecture Notes in Computer Science, 2000

386 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/311ce75481a32daef1648ab9fe631b0ff316b3c1

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. M. Fitting
2. Patrick Blackburn

In Computer Networks and Communications

1. M. Fitting

Citations in the corpus

• Types, Tableaus, and Gödel's God (2002, background): “In a series of papers, (Gilmore 1998a, Gilmore 1998b, Gilmore 1999), Paul Gilmore has shown that by a relatively simple change, a system of classical higher-order logic can be developed allowing a controlled degree of impredicativity—typing rules can be relaxed to permit the formation of certain…”