Approaches to independence friendly modal logic - Tulenheimo, Tero; Sevenster, Merlijn (ILLC research report and technical notes series, 2006)