On the Computational Complexity of the Intuitionistic Hybrid Modal Logics

Downloads:

• full text
• No slides available

BibTeX:

@conference{ebl-2014,
  author = {Haeusler, Edward Hermann and Benevides, Mario and de Paiva, Valeia and Rademaker, Alexandre},
  title = {On the Computational  Complexity of the Intuitionistic Hybrid Modal Logics},
  booktitle = {Proceedings of 17th Brazilian Logic Conference},
  year = {2014},
  optkey = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  pages = {54},
  pdflink1 = {/files/ebl-2014-article.pdf},
  optmonth = {},
  optaddress = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}