Exemplaric Expressivity of Modal Logics. Jacobs, B. & Sokolova, A. J. Log. Comput., 20(5):1041-1068, 2010.  
Link  
Paper  bibtex   @article{journals/logcom/JacobsS10,
  added-at = {2015-07-09T00:00:00.000+0200},
  author = {Jacobs, Bart and Sokolova, Ana},
  biburl = {https://www.bibsonomy.org/bibtex/282f0bde979273bc6b01a9750888e38fb/dblp},
  ee = {http://dx.doi.org/10.1093/logcom/exn093},
  interhash = {fff355f89037ebd0e64a4ed3acaa2595},
  intrahash = {82f0bde979273bc6b01a9750888e38fb},
  journal = {J. Log. Comput.},
  keywords = {dblp},
  number = 5,
  pages = {1041-1068},
  timestamp = {2015-07-10T11:35:01.000+0200},
  title = {Exemplaric Expressivity of Modal Logics.},
  url = {http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#JacobsS10},
  volume = 20,
  year = 2010
} 
Downloads: 0
{"_id":"WEABCkoJr6HZdJ7mF","bibbaseid":"jacobs-sokolova-exemplaricexpressivityofmodallogics-2010","author_short":["Jacobs, B.","Sokolova, A."],"bibdata":{"bibtype":"article","type":"article","added-at":"2015-07-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Jacobs"],"firstnames":["Bart"],"suffixes":[]},{"propositions":[],"lastnames":["Sokolova"],"firstnames":["Ana"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/282f0bde979273bc6b01a9750888e38fb/dblp","ee":"http://dx.doi.org/10.1093/logcom/exn093","interhash":"fff355f89037ebd0e64a4ed3acaa2595","intrahash":"82f0bde979273bc6b01a9750888e38fb","journal":"J. Log. Comput.","keywords":"dblp","number":"5","pages":"1041-1068","timestamp":"2015-07-10T11:35:01.000+0200","title":"Exemplaric Expressivity of Modal Logics.","url":"http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#JacobsS10","volume":"20","year":"2010","bibtex":"@article{journals/logcom/JacobsS10,\n  added-at = {2015-07-09T00:00:00.000+0200},\n  author = {Jacobs, Bart and Sokolova, Ana},\n  biburl = {https://www.bibsonomy.org/bibtex/282f0bde979273bc6b01a9750888e38fb/dblp},\n  ee = {http://dx.doi.org/10.1093/logcom/exn093},\n  interhash = {fff355f89037ebd0e64a4ed3acaa2595},\n  intrahash = {82f0bde979273bc6b01a9750888e38fb},\n  journal = {J. Log. Comput.},\n  keywords = {dblp},\n  number = 5,\n  pages = {1041-1068},\n  timestamp = {2015-07-10T11:35:01.000+0200},\n  title = {Exemplaric Expressivity of Modal Logics.},\n  url = {http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#JacobsS10},\n  volume = 20,\n  year = 2010\n}\n\n","author_short":["Jacobs, B.","Sokolova, A."],"key":"journals/logcom/JacobsS10","id":"journals/logcom/JacobsS10","bibbaseid":"jacobs-sokolova-exemplaricexpressivityofmodallogics-2010","role":"author","urls":{"Link":"http://dx.doi.org/10.1093/logcom/exn093","Paper":"http://dblp.uni-trier.de/db/journals/logcom/logcom20.html#JacobsS10"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Sokolova?items=1000","dataSources":["YGSCFyGmyG7sp5685"],"keywords":["dblp"],"search_terms":["exemplaric","expressivity","modal","logics","jacobs","sokolova"],"title":"Exemplaric Expressivity of Modal Logics.","year":2010}