@article {674595, title = {Fitch-style natural deduction for modal paralogics}, journal = {Logique et Analyse}, volume = {207}, year = {2009}, pages = {193{\textendash}218}, abstract = {

In this paper, I will present a Fitch{\textendash}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.

}, issn = {0024-5836}, author = {Lycke, Hans} }