Frontiers of Philosophy in China

, Volume 5, Issue 2, pp 294–311

Toward model-theoretic modal logics

Research Article

DOI: 10.1007/s11466-010-0017-2

Cite this article as:
Ma, M. Front. Philos. China (2010) 5: 294. doi:10.1007/s11466-010-0017-2


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.


model theory first-order logic modal logic graded modalities 

Copyright information

© Higher Education Press and Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.Department of PhilosophyTsinghua UniversityBeijingChina

Personalised recommendations