Toward model-theoretic modal logics |
| |
Authors: | Minghui Ma |
| |
Institution: | 1.Department of Philosophy,Tsinghua University,Beijing,China |
| |
Abstract: | Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus,
many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant
fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond
first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate
modal logics of all cardinalities. Thus ways of exploring model-theoretic logics can be transferred to modal logics. |
| |
Keywords: | |
本文献已被 万方数据 SpringerLink 等数据库收录! |
|