Insights into Modal Slash Logic and Modal Decidability

Report English OPEN
Tulenheimo, Tero;
(2012)
  • Publisher: Tampereen yliopisto
  • Subject: fi=Matematiikka | en=Mathematics|

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. For systematic reasons to be explained, the... View more
Share - Bookmark