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, Facundo Matías
Publicado: 2011
Materias:
Definability
First order
General theory
General version
Modal logic
Saturated model
Formal logic
Characterization
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6916LNCS_n_p62_Carreiro
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
id paper:paper_03029743_v6916LNCS_n_p62_Carreiro
record_format dspace
spelling paper:paper_03029743_v6916LNCS_n_p62_Carreiro2023-06-08T15:28:42Z On characterization, definability and ω-saturated models Carreiro, Facundo Matías Definability First order General theory General version Modal logic Saturated model Formal logic Characterization 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. Fil:Carreiro, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2011 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6916LNCS_n_p62_Carreiro http://hdl.handle.net/20.500.12110/paper_03029743_v6916LNCS_n_p62_Carreiro
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Definability
First order
General theory
General version
Modal logic
Saturated model
Formal logic
Characterization
spellingShingle Definability
First order
General theory
General version
Modal logic
Saturated model
Formal logic
Characterization
Carreiro, Facundo Matías
On characterization, definability and ω-saturated models
topic_facet Definability
First order
General theory
General version
Modal logic
Saturated model
Formal logic
Characterization
description 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.
author Carreiro, Facundo Matías
author_facet Carreiro, Facundo Matías
author_sort Carreiro, Facundo Matías
title On characterization, definability and ω-saturated models
title_short On characterization, definability and ω-saturated models
title_full On characterization, definability and ω-saturated models
title_fullStr On characterization, definability and ω-saturated models
title_full_unstemmed On characterization, definability and ω-saturated models
title_sort on characterization, definability and ω-saturated models
publishDate 2011
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6916LNCS_n_p62_Carreiro
http://hdl.handle.net/20.500.12110/paper_03029743_v6916LNCS_n_p62_Carreiro
work_keys_str_mv AT carreirofacundomatias oncharacterizationdefinabilityandōsaturatedmodels
_version_ 1768542175862194176

Ejemplares similares