Disjunctive Bases: Normal Forms for Modal Logics.

Sebastian Enqvist, Yde Venema

Browse the full CALCO paper archive.