Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.

Bjrn Lellmann

Browse the full TABLEAUX paper archive.