%0 Journal Article %A Brunner, N. %T A modal logic of consistency %J Rendiconti del Seminario Matematico della Università di Padova %D 1995 %P 143-152 %V 93 %I Seminario Matematico of the University of Padua %U http://www.numdam.org/item/RSMUP_1995__93__143_0/ %G en %F RSMUP_1995__93__143_0