Zhiguang Zhao. Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, editors, Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. Volume 2013 of CEUR Workshop Proceedings, pages 106-109, CEUR-WS.org, 2017. [doi]
Abstract is missing.