Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. M. Baldoni. Normal Multimodal Logics: Automated Deduction and Logic Programming. PhD thesis, Università degli Studi di Torino, 1998.
2. J. van Benthem. Modal logic and classical logic. Bibliopolis, 1983.
3. B. Beckert and R. Goré. Free variable tableaux for propositional modal logics. In TABLEAUX’97, pages 91–106. LNAI 1227, Springer, 1997.
4. N. Bonnette and R. Goré. A labelled sequent systems for tense logic Kt. In Australian Joint Conference of Articifial Intelligence, pages 71–82. LNAI 1502, Springer, 1998.
5. P. Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 34(1):56–83, 1993.