A modal logic of consistency
Rendiconti del Seminario Matematico della Università di Padova, Tome 93 (1995), pp. 143-152
Cet article a éte moissonné depuis la source Numdam
@article{RSMUP_1995__93__143_0,
author = {Brunner, N.},
title = {A modal logic of consistency},
journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
pages = {143--152},
year = {1995},
publisher = {Seminario Matematico of the University of Padua},
volume = {93},
mrnumber = {1354355},
zbl = {0839.03035},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RSMUP_1995__93__143_0/}
}
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://geodesic.mathdoc.fr/item/RSMUP_1995__93__143_0/ LA - en ID - RSMUP_1995__93__143_0 ER -
Brunner, N. A modal logic of consistency. Rendiconti del Seminario Matematico della Università di Padova, Tome 93 (1995), pp. 143-152. http://geodesic.mathdoc.fr/item/RSMUP_1995__93__143_0/