Browsing by Author "Carreiro, Facundo"
Now showing items 1-1 of 1
-
Characterization, definability and separation via saturated models
Areces, Carlos Eduardo; Carreiro, Facundo; Figueira, Santiago (2014)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 ...