Author:
Omodeo Eugenio,Orłowska Ewa,Policriti Alberto
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. van Benthem, J.F.A.K., D’Agostino, G., Montanari, A., Policriti, A.: Modal deduction in second-order logic and set theory-I. Journal of Logic and Computation 7(2), 251–265 (1997)
2. Monographs in Computer Science;D. Cantone,2001
3. D’Agostino, G., Montanari, A., Policriti, A.: A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning 3(15), 317–337 (1995)
4. Düntsch, I., Orłowska, E.: A proof system for contact relation algebras. Journal of Philosophical Logic (29), 241–262 (2000)
5. Frias, M., Orłowska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse (150-151-152), 239–284 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantifier Elimination in Elementary Set Theory;Relational Methods in Computer Science;2006