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

1999 ◽  
pp. 255-296 ◽  
Author(s):  
Arild Waaler ◽  
Lincoln Wallen
Keyword(s):  
Intuitionistic Logics

Tableaux for Many-Valued Logics

1999 ◽  
pp. 529-580 ◽  
Author(s):  
Reiner Hähnle

Tableaux for Nonmonotonic Logics

1999 ◽  
pp. 469-528 ◽  
Author(s):  
Nicola Olivetti
Keyword(s):  
Nonmonotonic Logics

First-Order Tableau Methods

1999 ◽  
pp. 125-196 ◽  
Author(s):  
Reinhold Letz
Keyword(s):  
First Order

Tableau Methods for Classical Propositional Logic

1999 ◽  
pp. 45-123 ◽  
Author(s):  
Marcello D’Agostino
Keyword(s):  
Propositional Logic ◽  
Classical Propositional Logic

scholarly journals Implementing Semantic Tableaux

1999 ◽  
pp. 581-629 ◽  
Author(s):  
Joachim Posegga ◽  
Peter H. Schmitt
Keyword(s):  
Semantic Tableaux

Tableau Methods for Substructural Logics

1999 ◽  
pp. 397-467 ◽  
Author(s):  
Marcello D’Agostino ◽  
Dov Gabbay ◽  
Krysia Broda
Keyword(s):  
Substructural Logics

Tableau Methods for Modal and Temporal Logics

1999 ◽  
pp. 297-396 ◽  
Author(s):  
Rajeev Goré
Keyword(s):  
Temporal Logics ◽  
Modal And Temporal Logics

Equality and Other Theories

1999 ◽  
pp. 197-254 ◽  
Author(s):  
Bernhard Beckert

A Bibliography on Analytic Tableaux Theorem Proving

1999 ◽  
pp. 631-655
Author(s):  
Graham Wrightson
Keyword(s):  
Theorem Proving ◽  
Analytic Tableaux
Load More ...
Sign in / Sign up

Export Citation Format

Share Document