×

zbMATH — the first resource for mathematics

Tableau methods for modal and temporal logics. (English) Zbl 0972.03529
D’Agostino, Marcello (ed.) et al., Handbook of tableau methods. Dordrecht: Kluwer Academic Publishers. 297-396 (1999).
See the review of the entire collection (Zbl 0956.03001).
For the entire collection see [Zbl 0956.03001].

MSC:
03B45 Modal logic (including the logic of norms)
03B44 Temporal logic
03F07 Structure of proofs
03B35 Mechanization of proofs and logical operations
03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Software:
leanTAP
PDF BibTeX XML Cite