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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Institute of Philosophy of the Slovak Academy of Sciences
2019-08-01
|
| Series: | Organon F |
| Subjects: | |
| Online Access: | https://doi.org/10.31577/orgf.2019.26309 |