Frontiers of Philosophy in China 5 (2):294-311 (2010)
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 |
Categories | (categorize this paper) |
DOI | 10.1007/s11466-010-0017-2 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
View all 29 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Modal Deduction in Second-Order Logic and Set Theory: II.Johan van Benthem, Giovanna D'agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387 - 420.
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
On the Completeness of First Degree Weakly Aggregative Modal Logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Modal Deduction in Second-Order Logic and Set Theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Analytics
Added to PP index
2010-06-09
Total views
71 ( #161,925 of 2,505,992 )
Recent downloads (6 months)
1 ( #416,828 of 2,505,992 )
2010-06-09
Total views
71 ( #161,925 of 2,505,992 )
Recent downloads (6 months)
1 ( #416,828 of 2,505,992 )
How can I increase my downloads?
Downloads