{"_id":"JKcLqJCYz2xxgzWAb","bibbaseid":"aceto-inglfsdttir-prisacariu-sack-compositionalreasoningformultimodallogics-2013","downloads":0,"creationDate":"2016-02-18T15:10:12.120Z","title":"Compositional Reasoning for Multi-modal Logics","author_short":["Aceto, L.","Ingólfsdóttir, A.","Prisacariu, C.","Sack, J."],"year":2013,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Cristian"],"propositions":[],"lastnames":["Prisacariu"],"suffixes":[]},{"firstnames":["Joshua"],"propositions":[],"lastnames":["Sack"],"suffixes":[]}],"title":"Compositional Reasoning for Multi-modal Logics","booktitle":"Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings","pages":"1–15","year":"2013","crossref":"DBLP:conf/lfcs/2013","url":"https://doi.org/10.1007/978-3-642-35722-0_1","doi":"10.1007/978-3-642-35722-0_1","timestamp":"Sun, 04 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/lfcs/AcetoIPS13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lfcs/AcetoIPS13,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Cristian Prisacariu and\n Joshua Sack},\n title = {Compositional Reasoning for Multi-modal Logics},\n booktitle = {Logical Foundations of Computer Science, International Symposium,\n {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},\n pages = {1--15},\n year = {2013},\n crossref = {DBLP:conf/lfcs/2013},\n url = {https://doi.org/10.1007/978-3-642-35722-0\\_1},\n doi = {10.1007/978-3-642-35722-0\\_1},\n timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/lfcs/AcetoIPS13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A.","Prisacariu, C.","Sack, J."],"key":"DBLP:conf/lfcs/AcetoIPS13","id":"DBLP:conf/lfcs/AcetoIPS13","bibbaseid":"aceto-inglfsdttir-prisacariu-sack-compositionalreasoningformultimodallogics-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-35722-0_1"},"downloads":0},"search_terms":["compositional","reasoning","multi","modal","logics","aceto","ingólfsdóttir","prisacariu","sack"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}