A Gdel Modal Logic over Witnessed Crisp Models.

Mauro Ferrari, Camillo Fiorentini, Ricardo Oscar Rodrguez

Browse the full TABLEAUX paper archive.