%0 Journal Article %1 DBLP:journals/logcom/KontinenMSV17 %A Kontinen, Juha %A Müller, Julian-Steffen %A Schnoor, Henning %A Vollmer, Heribert %D 2017 %J J. Log. Comput. %K myown %N 5 %P 1333--1352 %R 10.1093/logcom/exw019 %T Modal independence logic %U https://doi.org/10.1093/logcom/exw019 %V 27

@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 }