TamPub - Selaus tekijän mukaan "Tulenheimo, Tero"
Reports in Information Sciences : 6 / 2012 (Tampereen yliopisto, 2012)
reportThe 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. ...