4 found
Order:
  1.  21
    Model Checking Hybrid Logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
  2.  24
    Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
    We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  4
    Definability and Decidability of Binary Predicates for Time Granularity.Massimo Franceschet, Angelo Montanari, Adriano Peron & Guido Sciavicco - 2006 - Journal of Applied Logic 4 (2):168-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  24
    Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
    We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation