"Complete Abstractions and Subclassical Modal Logics."

Vijay D'Silva, Marcelo Sousa (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics