Please wait a minute...

Frontiers of Philosophy in China

Front. Philos. China    2010, Vol. 5 Issue (2) : 294-311
Research articles |
Toward Model-Theoretic Modal Logics
MA Minghui,
Department of Philosophy, Tsinghua University, Beijing 100084, China;
Download: PDF(326 KB)  
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
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 model theory      first-order logic      modal logic      graded modalities      
Issue Date: 05 June 2010
 Cite this article:   
MA Minghui. Toward Model-Theoretic Modal Logics[J]. Front. Philos. China, 2010, 5(2): 294-311.
E-mail this article
E-mail Alert
Articles by authors
MA Minghui
Full text