A modal logic of consistency

zbMath0839.03035MaRDI QIDQ1904094

Yanyan Li

Publication date: 19 June 1996

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1995__93__143_0

zbMATH Keywords

modal logicconsistencyincompleteness theoremFraenkel-Mostowski permutation models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• The Fraenkel-Mostowski method, revisited
• Permutation models and topological groups
• Provability interpretations of modal logic
• Permutation Models in the Sense of Rieger-Bernays
• Freyd’s models for the independence of the axiom of choice
• Powers of regular cardinals
• Extensions of the Lewis system S5
• The axiom of choice

This page was built for publication: A modal logic of consistency