Browsing Artículos 2014 by Author "Areces, Carlos Eduardo"

Now showing items 1-3 of 3

    • 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 ...

    • Completeness in hybrid type theory 

      Areces, Carlos Eduardo; Blackburn, Patrick; Huertas, Antonia; Manzano, María (2014)
      We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...

    • Swap logic 

      Areces, Carlos Eduardo; Fervari, Raúl Alberto; Hoffmann, Guillaume Emmanuel (2014)
      We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ...