You are here

Home ›

Publications

Filters: Keyword is decidability  [Clear All Filters]
2014
R. Fervari, “Relation-Changing Modal Logics”, 2014.PDF iconthesis.pdf (814.15 KB)
2012
F. Carreiro and S. Demri, “Beyond Regularity for Presburger Modal Logics”, in 9th Workshop on Advances in Modal Logics (AiML'12), Copenhagen, Denmark, 2012.PDF iconbeyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)

   

                              

Powered by Drupal