Complete Abstractions and Subclassical Modal Logics.

Vijay Victor D'Silva, Marcelo Sousa

Browse the full VMCAI paper archive.