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

Now showing items 1-4 of 4

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

    • The lattice of congruences of a finite line frame 

      Areces, Carlos Eduardo; Campercholi, Miguel Alejandro Carlos; Penazzi, Daniel Eduardo; Sánchez Terraf, Pedro Octavio (2017)
      Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we ...

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