Author:
Demri Stéphane,Goré Rajeev
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lect Notes Comput Sci;M. Abadi,1986
2. H. Andreka, I. Nemeti, and J. van Benthem. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217–274, 1998.
3. A. Avron. On modal systems having arithmetical interpretations. The Journal of Symbolic Logic, 49(3):935–942, 1984.
4. N. Belnap. Display logic. Journal of Philosophical Logic, 11:375–417, 1982.
5. J. van Benthem. Modal logic and classical logic. Bibliopolis, 1983.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献