Author:
Braüner Torben,Ghilardi Silvio
Reference135 articles.
1. Modal languages and bounded fragments of predicate logics;Andréka;Journal of Philosophical Logic,1998
2. Hybrid logics, Characterization, interpolation and complexity;Areces;Journal of Symbolic Logic,2001
3. Repairing the interpolation theorem in quantified modal logic;Areces;Annals of Pure and Applied Logic,2003
4. Effective predicate logics of provability;Artemov;Dokl. Akad. Nauk SSSR,1987
5. Finite Kripke models and predicate logics of provability;Artemov;J. Symbolic Logic,1990
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献