%0 Conference Paper %1 conf/lori/AucherBG15 %A Aucher, Guillaume %A van Benthem, Johan %A Grossi, Davide %B LORI %D 2015 %E van der Hoek, Wiebe %E Holliday, Wesley H. %E Wang, Wen-Fang %I Springer %K %P 1-13 %T Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. %U http://dblp.uni-trier.de/db/conf/lori/lori2015.html#AucherBG15 %V 9394 %@ 978-3-662-48560-6

@inproceedings{conf/lori/AucherBG15, added-at = {2023-12-14T14:14:28.000+0100}, author = {Aucher, Guillaume and van Benthem, Johan and Grossi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/23d521f2c2c0ee028e9a667c09da2a6cf/admin}, booktitle = {LORI}, crossref = {conf/lori/2015}, editor = {van der Hoek, Wiebe and Holliday, Wesley H. and Wang, Wen-Fang}, ee = {https://www.wikidata.org/entity/Q62045409}, interhash = {dde21a652b81de5e1ee6451edb6291b3}, intrahash = {3d521f2c2c0ee028e9a667c09da2a6cf}, isbn = {978-3-662-48560-6}, keywords = {}, pages = {1-13}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:14:28.000+0100}, title = {Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.}, url = {http://dblp.uni-trier.de/db/conf/lori/lori2015.html#AucherBG15}, volume = 9394, year = 2015 }