Switch to: References

Add citations

You must login to add citations.
  1. Modal Logics for Reasoning About Infinite Unions and Intersections of Binary Relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - Journal of Applied Non-Classical Logics 22 (4):275 - 294.
    (2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.
    Download  
     
    Export citation  
     
    Bookmark  
  • Definability and Computability for PRSPDL.Philippe Balbiani & Tinko Tinchev - 2014 - In Rajeev GorĂ©, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 16-33.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.Walid Belkhir, Gisela Rossi & Rusinowitch - 2014 - In Rajeev GorĂ©, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 34-53.
    Download  
     
    Export citation  
     
    Bookmark