Proof Systems for a Gdel Modal Logic.

George Metcalfe, Nicola Olivetti

Browse the full TABLEAUX paper archive.