Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.

Jennifer M. Davoren

Browse the full LFCS paper archive.