Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers
In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that can be generated by the five axioms T, D, B, 4 a...
| الحاوية / القاعدة: | Organon F |
|---|---|
| المؤلف الرئيسي: | |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Institute of Philosophy of the Slovak Academy of Sciences
2019-08-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.31577/orgf.2019.26309 |