Order:
  1.  45
    Fitch-style natural deduction for modal paralogics.Hans Lycke - 2009 - Logique Et Analyse 52 (207):193-218.
    In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
    In this paper, I will characterize a new class of inconsistency-adaptive logics, namely inconsistency-adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency-adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the part of human reasoning they are intended for.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  13
    An adaptive logic for relevant classical deduction.Hans Lycke - 2007 - Journal of Applied Logic 5 (4):602-612.