Characterization, definability and separation via saturated models

Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability Theorem (that provides conditions under which a class of L-models can be defined by a formula or a set of formu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, C., Carreiro, F., Figueira, S.
Formato: JOUR
Materias:
Characterization
Definability
Modal logics
Model theory
Saturation
Separation
Simulation
Formal logic
Saturation (materials composition)
Characterization theorems
First order logic
Modal logic
Observational equivalences
Separation theorem
Computer simulation
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03043975_v537_nC_p72_Areces
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares