• Insights into Modal Slash Logic and Modal Decidability 

      Tulenheimo, Tero
      Reports in Information Sciences : 6 / 2012 (Tampereen yliopisto, 2012)
      The present paper has a two-fold task. On the one hand, it aims to provide an overview on Independence friendly modal logic as defined in (Tulenheimo, 2003; Tulenheimo, 2004) and studied in a number of subsequent publications. ...