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...
Guardado en:
| Autores principales: | Areces, Carlos Eduardo, Carreiro, Facundo, Figueira, Santiago |
|---|---|
| Formato: | article |
| Lenguaje: | Inglés |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/20005 https://doi.org/10.1016/j.tcs.2014.02.047 |
| Aporte de: |
Ejemplares similares
-
Characterization, definability and separation via saturated models
por: Areces, Carlos Eduardo, et al.
Publicado: (2021) -
Characterization, definability and separation via saturated models
por: Areces, C., et al. -
Characterization, definability and separation via saturated models
por: Areces, Carlos Eduardo, et al.
Publicado: (2014) -
On characterization, definability and ω-saturated models
por: Carreiro, Facundo Matías
Publicado: (2011) -
On characterization, definability and ω-saturated models
por: Carreiro, F.