Toward Model-Theoretic Modal Logics

in Frontiers of Philosophy in China
Restricted Access
Get Access to Full Text
Rent on DeepDyve

Have an Access Token?



Enter your access token to activate and access content online.

Please login and go to your personal user account to enter your access token.



Help

Have Institutional Access?



Access content through your institution. Any other coaching guidance?



Connect

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.

Information

Content Metrics

Content Metrics

All Time Past Year Past 30 Days
Abstract Views 2 2 1
Full Text Views 2 2 2
PDF Downloads 1 1 1
EPUB Downloads 0 0 0