@article{DBLP:journals/logcom/KontinenMSV17,
  added-at = {2017-12-18T13:54:40.000+0100},
  author = {Kontinen, Juha and M{\"{u}}ller, Julian{-}Steffen and Schnoor, Henning and Vollmer, Heribert},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {https://www.bibsonomy.org/bibtex/261e90578f7e0d801b2cd31abadc840a5/hvo},
  description = {dblp: BibTeX record journals/logcom/KontinenMSV17},
  doi = {10.1093/logcom/exw019},
  interhash = {feb5c7181736fd05e729645aa8a17847},
  intrahash = {61e90578f7e0d801b2cd31abadc840a5},
  journal = {J. Log. Comput.},
  keywords = {myown},
  number = 5,
  pages = {1333--1352},
  timestamp = {2017-12-18T13:54:40.000+0100},
  title = {Modal independence logic},
  url = {https://doi.org/10.1093/logcom/exw019},
  volume = 27,
  year = 2017
}