TABLEAUX
1998
Springer
14 years 3 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
TABLEAUX
1998
Springer
14 years 3 months ago
1998
Springer
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism i...