Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. Kaminski, M., Schneider, S., & Smolka, G. In Giese, M. & Waaler, A., editors, TABLEAUX, volume 5607, of Lecture Notes in Computer Science, pages 235-249, 2009. Springer.
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. [link]Link  Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. [link]Paper  bibtex   
@inproceedings{conf/tableaux/KaminskiSS09,
  added-at = {2017-05-26T00:00:00.000+0200},
  author = {Kaminski, Mark and Schneider, Sigurd and Smolka, Gert},
  biburl = {http://www.bibsonomy.org/bibtex/2a2492b144c2ecc246665f11f443fb3e2/dblp},
  booktitle = {TABLEAUX},
  crossref = {conf/tableaux/2009},
  editor = {Giese, Martin and Waaler, Arild},
  ee = {https://doi.org/10.1007/978-3-642-02716-1_18},
  interhash = {50563d5ea8a55af1cfba3843853a3990},
  intrahash = {a2492b144c2ecc246665f11f443fb3e2},
  isbn = {978-3-642-02715-4},
  keywords = {dblp},
  pages = {235-249},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2017-05-27T12:52:21.000+0200},
  title = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.},
  url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#KaminskiSS09},
  volume = 5607,
  year = 2009
}

Downloads: 0