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
id todo:paper_03029743_v6916LNCS_n_p62_Carreiro
record_format dspace
spelling todo:paper_03029743_v6916LNCS_n_p62_Carreiro2023-10-03T15:19:21Z On characterization, definability and ω-saturated models Carreiro, F. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, F.
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.
format SER
author Carreiro, F.
author_facet Carreiro, F.
author_sort Carreiro, F.
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
url http://hdl.handle.net/20.500.12110/paper_03029743_v6916LNCS_n_p62_Carreiro
work_keys_str_mv AT carreirof oncharacterizationdefinabilityandōsaturatedmodels
_version_ 1782024396692520960

Ejemplares similares