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.
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
{"_id":"ktBjNx79vYa6SfXmo","bibbaseid":"kaminski-schneider-smolka-terminatingtableauxforgradedhybridlogicwithglobalmodalitiesandrolehierarchies-2009","downloads":0,"creationDate":"2017-06-03T04:08:40.545Z","title":"Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.","author_short":["Kaminski, M.","Schneider, S.","Smolka, G."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-26T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Sigurd"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Gert"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2a2492b144c2ecc246665f11f443fb3e2/dblp","booktitle":"TABLEAUX","crossref":"conf/tableaux/2009","editor":[{"propositions":[],"lastnames":["Giese"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Waaler"],"firstnames":["Arild"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/tableaux/KaminskiSS09,\n added-at = {2017-05-26T00:00:00.000+0200},\n author = {Kaminski, Mark and Schneider, Sigurd and Smolka, Gert},\n biburl = {http://www.bibsonomy.org/bibtex/2a2492b144c2ecc246665f11f443fb3e2/dblp},\n booktitle = {TABLEAUX},\n crossref = {conf/tableaux/2009},\n editor = {Giese, Martin and Waaler, Arild},\n ee = {https://doi.org/10.1007/978-3-642-02716-1_18},\n interhash = {50563d5ea8a55af1cfba3843853a3990},\n intrahash = {a2492b144c2ecc246665f11f443fb3e2},\n isbn = {978-3-642-02715-4},\n keywords = {dblp},\n pages = {235-249},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2017-05-27T12:52:21.000+0200},\n title = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.},\n url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#KaminskiSS09},\n volume = 5607,\n year = 2009\n}\n\n","author_short":["Kaminski, M.","Schneider, S.","Smolka, G."],"editor_short":["Giese, M.","Waaler, A."],"key":"conf/tableaux/KaminskiSS09","id":"conf/tableaux/KaminskiSS09","bibbaseid":"kaminski-schneider-smolka-terminatingtableauxforgradedhybridlogicwithglobalmodalitiesandrolehierarchies-2009","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-02716-1_18","Paper":"http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#KaminskiSS09"},"keyword":["dblp"],"downloads":0},"search_terms":["terminating","tableaux","graded","hybrid","logic","global","modalities","role","hierarchies","kaminski","schneider","smolka"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}