Handbook of Tableau Methods
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Netherlands

9789048151844, 9789401717540

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tableaux for Intuitionistic Logics

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_5 ◽

1999 ◽

pp. 255-296 ◽

Cited By ~ 12

Author(s):

Arild Waaler ◽

Lincoln Wallen

Keyword(s):

Intuitionistic Logics

Download Full-text

Tableaux for Many-Valued Logics

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_9 ◽

1999 ◽

pp. 529-580 ◽

Cited By ~ 22

Author(s):

Reiner Hähnle

Download Full-text

Tableaux for Nonmonotonic Logics

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_8 ◽

1999 ◽

pp. 469-528 ◽

Cited By ~ 1

Author(s):

Nicola Olivetti

Keyword(s):

Nonmonotonic Logics

Download Full-text

First-Order Tableau Methods

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_3 ◽

1999 ◽

pp. 125-196 ◽

Cited By ~ 10

Author(s):

Reinhold Letz

Keyword(s):

First Order

Download Full-text

Tableau Methods for Classical Propositional Logic

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_2 ◽

1999 ◽

pp. 45-123 ◽

Cited By ~ 27

Author(s):

Marcello D’Agostino

Keyword(s):

Propositional Logic ◽

Classical Propositional Logic

Download Full-text

Implementing Semantic Tableaux

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_10 ◽

1999 ◽

pp. 581-629 ◽

Cited By ~ 3

Author(s):

Joachim Posegga ◽

Peter H. Schmitt

Keyword(s):

Semantic Tableaux

Download Full-text

Tableau Methods for Substructural Logics

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_7 ◽

1999 ◽

pp. 397-467 ◽

Cited By ~ 4

Author(s):

Marcello D’Agostino ◽

Dov Gabbay ◽

Krysia Broda

Keyword(s):

Substructural Logics

Download Full-text

Tableau Methods for Modal and Temporal Logics

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_6 ◽

1999 ◽

pp. 297-396 ◽

Cited By ~ 110

Author(s):

Rajeev Goré

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Equality and Other Theories

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_4 ◽

1999 ◽

pp. 197-254 ◽

Cited By ~ 3

Author(s):

Bernhard Beckert

Download Full-text

A Bibliography on Analytic Tableaux Theorem Proving

Handbook of Tableau Methods ◽

10.1007/978-94-017-1754-0_11 ◽

1999 ◽

pp. 631-655

Author(s):

Graham Wrightson

Keyword(s):

Theorem Proving ◽

Analytic Tableaux

Download Full-text