Abstract
The following system is an extension of the Lewis calculus S2 to include quantification.
Publisher
Cambridge University Press (CUP)
Cited by
248 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modality across different logics;Logic Journal of the IGPL;2024-08-09
2. Number Theory and Infinity Without Mathematics;Journal of Philosophical Logic;2024-08-08
3. Ruth Barcan Marcus on the Deduction Theorem in Modal Logic;History and Philosophy of Logic;2024-04-30
4. Propositional Quantifiers;2024-04-23
5. Grundlagen des logischen Schließens;Philosophisches Handbuch Künstliche Intelligenz;2024