Review of Symbolic Logic 2 (3):451-468 (2009)
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the combination of implicit definability and reducibility. The three notions of definability are characterized semantically using (modal) algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Synonymous Logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Citations of this work BETA
Similar books and articles
An Application of Invariant Sets to Global Definability.Douglas E. Miller - 1979 - Journal of Symbolic Logic 44 (1):9-14.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
An Isomorphism Between Monoids of External Embeddings About Definability in Arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
A Note on Definability in Equational Logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Defining Knowledge in Terms of Belief: The Modal Logic Perspective.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):469-487.
Added to index2009-10-06
Total downloads25 ( #193,332 of 2,059,555 )
Recent downloads (6 months)1 ( #396,194 of 2,059,555 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.