How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. (English) Zbl 1171.03308
MSC:
03B35 | Mechanization of proofs and logical operations |
03B45 | Modal logic (including the logic of norms) |
03B35 | Mechanization of proofs and logical operations |
03B45 | Modal logic (including the logic of norms) |