Order:
  1.  31
    The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.
    We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the current memory. From this perspective, the hybrid logic (↓), for example, can be thought of as a particular case of a memory logic where the memory is an indexed list of elements of the domain.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  45
    Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
  3.  12
    Completeness results for memory logics.Carlos Areces, Santiago Figueria & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark