A van Benthem Theorem for Fuzzy Modal Logic (bibtex)

by Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König

Reference:

Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König: A van Benthem Theorem for Fuzzy Modal Logic, In Anuj Dawar, Erich Grädel, eds.: Proc. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 909–918, ACM, 2018. [preprint]

Bibtex Entry:

@inproceedings{WildEA18,
  author    = {Paul Wild and
               Lutz Schr{\"{o}}der and
               Dirk Pattinson and
               Barbara K{\"{o}}nig},
  title     = {A van {B}enthem Theorem for Fuzzy Modal Logic},
  booktitle = {Proc. 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018},
  year      = {2018},
  pages     = {909--918},
  url       = {http://doi.acm.org/10.1145/3209108.3209180},
  doi       = {10.1145/3209108.3209180},
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  comment = {<a href="http://arxiv.org/abs/1802.00478">[preprint]</a>},
   publisher = {{ACM}},
  }