On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Bresolin, D., Muñoz-Velasco, E., & Sciavicco, G. In Proc. of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., volume 226, of EPTCS, pages 91–104, 2016. ![On the Expressive Power of Sub-Propositional Fragments of Modal Logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{gandalf2016,
Author = {Davide Bresolin and Emilio Mu{\~{n}}oz{-}Velasco and Guido Sciavicco},
Bibsource = {dblp computer science bibliography, http://dblp.org},
Biburl = {http://dblp.org/rec/bib/journals/corr/BresolinMS16},
Booktitle = {Proc. of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.},
Date-Added = {2019-04-03 08:30:57 +0000},
Date-Modified = {2019-04-03 08:30:57 +0000},
Doi = {10.4204/EPTCS.226.7},
Pages = {91--104},
Series = {{EPTCS}},
Timestamp = {Wed, 03 May 2017 14:47:56 +0200},
Title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},
Url = {10.4204/EPTCS.226.7},
Volume = {226},
Year = {2016},
Bdsk-Url-1 = {10.4204/EPTCS.226.7},
Bdsk-Url-2 = {http://dx.doi.org/10.4204/EPTCS.226.7}}
Downloads: 0
{"_id":"YnNzKp2t7YjGcG72F","bibbaseid":"bresolin-muozvelasco-sciavicco-ontheexpressivepowerofsubpropositionalfragmentsofmodallogic-2016","author_short":["Bresolin, D.","Muñoz-Velasco, E.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["Emilio"],"propositions":[],"lastnames":["Muñoz-Velasco"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.org/rec/bib/journals/corr/BresolinMS16","booktitle":"Proc. of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.","date-added":"2019-04-03 08:30:57 +0000","date-modified":"2019-04-03 08:30:57 +0000","doi":"10.4204/EPTCS.226.7","pages":"91–104","series":"EPTCS","timestamp":"Wed, 03 May 2017 14:47:56 +0200","title":"On the Expressive Power of Sub-Propositional Fragments of Modal Logic","url":"10.4204/EPTCS.226.7","volume":"226","year":"2016","bdsk-url-1":"10.4204/EPTCS.226.7","bdsk-url-2":"http://dx.doi.org/10.4204/EPTCS.226.7","bibtex":"@inproceedings{gandalf2016,\n\tAuthor = {Davide Bresolin and Emilio Mu{\\~{n}}oz{-}Velasco and Guido Sciavicco},\n\tBibsource = {dblp computer science bibliography, http://dblp.org},\n\tBiburl = {http://dblp.org/rec/bib/journals/corr/BresolinMS16},\n\tBooktitle = {Proc. of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.},\n\tDate-Added = {2019-04-03 08:30:57 +0000},\n\tDate-Modified = {2019-04-03 08:30:57 +0000},\n\tDoi = {10.4204/EPTCS.226.7},\n\tPages = {91--104},\n\tSeries = {{EPTCS}},\n\tTimestamp = {Wed, 03 May 2017 14:47:56 +0200},\n\tTitle = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},\n\tUrl = {10.4204/EPTCS.226.7},\n\tVolume = {226},\n\tYear = {2016},\n\tBdsk-Url-1 = {10.4204/EPTCS.226.7},\n\tBdsk-Url-2 = {http://dx.doi.org/10.4204/EPTCS.226.7}}\n\n","author_short":["Bresolin, D.","Muñoz-Velasco, E.","Sciavicco, G."],"key":"gandalf2016","id":"gandalf2016","bibbaseid":"bresolin-muozvelasco-sciavicco-ontheexpressivepowerofsubpropositionalfragmentsofmodallogic-2016","role":"author","urls":{"Paper":"https://www.math.unipd.it/~bresolin/papers/10.4204/EPTCS.226.7"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["expressive","power","sub","propositional","fragments","modal","logic","bresolin","muñoz-velasco","sciavicco"],"title":"On the Expressive Power of Sub-Propositional Fragments of Modal Logic","year":2016}