On characterization, definability and ω-saturated models

Two important classic results about modal expressivity are the Characterization and Definability theorems. We develop a general theory for modal logics below first order (in terms of expressivity) which exposes the following result: Characterization and Definability theorems hold for every (reasonab...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Carreiro, F.
Formato: SER
Materias:
Definability
First order
General theory
General version
Modal logic
Saturated model
Formal logic
Characterization
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v6916LNCS_n_p62_Carreiro
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario:Two important classic results about modal expressivity are the Characterization and Definability theorems. We develop a general theory for modal logics below first order (in terms of expressivity) which exposes the following result: Characterization and Definability theorems hold for every (reasonable) modal logic whose ω models have the Hennessy-Milner property. The results are presented in a general version which is relativized to classes of models. © 2011 Springer-Verlag.

Ejemplares similares