Publisher
Springer Science and Business Media LLC
Reference46 articles.
1. D’Agostino M. et al.: Handbook of Tableaux Methods. Kluwer, Dordrecht (1998)
2. Avellone A. et al.: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. L. J. IGPL 7, 447–480 (1999)
3. Baaz M., Iemhoff R.: On Skolemization in constructive theories. J. Symb. Logic 73, 969–998 (2008)
4. Brünnler K., Guglielmi A. et al.: A first order system with finite choice of premises. In: Hendricks, V. F. (eds) First-Order Logic Revisited, pp. 59–74. Logos Verlag, London (2004)
5. Chagrov A., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献