A modal logic of consistency
Rendiconti del Seminario Matematico della Università di Padova, Tome 93 (1995), pp. 143-152 
@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 = {https://www.numdam.org/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  - https://www.numdam.org/item/RSMUP_1995__93__143_0/
LA  - en
ID  - RSMUP_1995__93__143_0
ER  - 
%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 https://www.numdam.org/item/RSMUP_1995__93__143_0/
%G en
%F RSMUP_1995__93__143_0
Brunner, N. A modal logic of consistency. Rendiconti del Seminario Matematico della Università di Padova, Tome 93 (1995), pp. 143-152. https://www.numdam.org/item/RSMUP_1995__93__143_0/

[1] M. Baaz - N. Brunner - K. Svozil, Effective Quantum Observables, e-print 9501018, QUANT-PH@XXX.LANL.GOV.

[2] A. Blass - A. Scedrov, Freyd's Models for the Independence of the Axiom of Choice, Memoirs AMS, 79, Providence (1989). | Zbl | MR

[3] N. Brunner - J. Rubin, Permutation models and topological groups, Rend. Sem. Mat. Univ. Padova, 76 (1986), pp. 149-161. | Zbl | MR | Numdam

[4] N. Brunner, The Fraenkel-Mostowski method, revisited, Notre Dame J. Formal Logic, 31 (1990), pp. 64-75. | Zbl | MR

[5] P. Cameron, Oligomorphic Permutation Groups, LMS Lecture Notes, 152, Cambridge (1990). | Zbl | MR

[6] W. Easton, Powers of regular cardinals, Ann. Math. Logic, 1 (1970), pp. 139-178. | Zbl | MR

[7] T. Forster, Permutation models in the sense of Rieger-Bernays, Zeitschrift Math. Logik Grundl. Math., 33 (1987), pp. 201-210. | Zbl | MR

[8] E. Hewitt - K. Ross, Abstract Harmonic Analysis, I, Springer Grundlehren, 115, Berlin (1963). | Zbl

[9] T. Jech, The Axiom of Choice, North-Holland Studies in Logic, 75, Amsterdam (1973). | Zbl | MR

[10] D. Luce, Dimensionally invariant laws correspond to meaningful qualitative relations, Philosophy of Science, 45 (1978), pp. 81-95.

[11] S. Scroggs, Extensions of the Lewis system S5, J. Symbolic Logic, 16 (1951), pp. 112-120. | Zbl | MR

[12] R. Solovay, Provability interpretations of modal logic, Israel J. Math., 25 (1976), pp. 287-304. | Zbl | MR

[13] Y. Suzuki - G. Wilmers, Non-standard models for set theory, in J. BELL et. al. (ed.): Proceedings of the Bertrand Russell Memorial Logic Conference, Leeds (1973), pp. 278-314. | MR