| E89-1028 | decision procedure is based on a | tableau calculus | . INTRODUCTION A formal semantics |
| E89-1028 | We have modified and adapted a | tableau calculus | to be used with mass terms and |
| J89-2004 | tableau calculus for S4.Grz and a | tableau calculus | for K.Alt , , we have a calculus |
| E89-1028 | generalized quantifiers , the pure | tableau calculus | will not lead to a separate tree |
| J89-2004 | MixE ) . Also , since we have a | tableau calculus | for S4.Grz and a tableau calculus |
| J89-2004 | In Rautenberg ( 1983 ) a simple | tableau calculus | for S4.Grz is given which shows |
| E89-1028 | corresponds to the quantifier rules in a | tableau calculus | for first order logic : ( i ) |
| E89-1028 | with other approaches based on a | tableau calculus | , like the one described by Guenthner |
| J89-2004 | above proof we can now change the | tableau calculus | for E by redefining the rule |
