Jens Ulrik Hansen Thomas Bolander Torben Braüner Many-valued hybrid logic. 883-908 2018 28 J. Log. Comput. 5 https://doi.org/10.1093/logcom/exv040 https://www.wikidata.org/entity/Q57813426 db/journals/logcom/logcom28.html#HansenBB18