Author:
Akbar Tabatabai Amirhossein,Iemhoff Rosalie,Jalali Raheleh
Publisher
Springer International Publishing
Reference19 articles.
1. Akbar Tabatabai, A., Jalali, R.: Universal proof theory: semi-analytic rules and uniform interpolation. arXiv preprint arXiv:1808.06258 (2018)
2. Bílková, M.: Interpolation in modal logics. Ph.D. thesis, Univerzita Karlova, Filozofická fakulta (2006)
3. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
4. Ghilardi, S., Zawadowski, M.: Undefinability of propositional quantifiers in the modal system S4. Stud. Log. 55(2), 259–271 (1995)
5. Trends in Logic;S Ghilardi,2002
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献