Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference25 articles.
1. ACZEL, P., ‘An Introduction to Inductive Definitions’, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 739–782.
2. D'AGOSTINO, G., J. VAN BENTHEM, A. MONTANARI, and A. POLICRITI, ‘Modal Deduction in Second-Order Logic and Set Theory. Part I’, Logic and Computation 7 (1997), 251–265.
3. D'AGOSTINO, G., and M. HOLLENBERG, ‘Logical Questions concerning the /i-Calculus: Interpolation, Lyndon&Los-Tarski’, Journal of Symbolic Logic 65 (2000), 310–332.
4. VAN BENTHEM, J., ‘Some Correspondence Results in Modal Logic’, Report 74–05, Mathematisch Instituut, Universiteit van Amsterdam, 1974.
5. VAN BENTHEM, J., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1983.
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献