TY  - JOUR
AU  - Brunner, N.
TI  - A modal logic of consistency
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1995
SP  - 143
EP  - 152
VL  - 93
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1995__93__143_0/
LA  - en
ID  - RSMUP_1995__93__143_0
ER  -