A modal logic of consistency

MaRDI QIDQ1904094zbMATH OpenFDO

Authors 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, https://eudml.org/doc/108352

zbMATH Keywords

consistencymodal logicincompleteness theoremFraenkel-Mostowski permutation models

Mathematics Subject Classification ID

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

Recommendations

• Permutation Models in the Sense of Rieger-Bernays
• An extension of a permutative model of set theory
• A characterization of permutation models in terms of forcing
• scientific article; zbMATH DE number 4029545
• The complexity of the modal predicate logic of “true in every transitive model of ZF”

Cites work

• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 3187168 (Why is no real title available?)
• Extensions of the Lewis system S5
• Freyd’s models for the independence of the axiom of choice
• Permutation Models in the Sense of Rieger-Bernays
• Permutation models and topological groups
• Powers of regular cardinals
• Provability interpretations of modal logic
• The Fraenkel-Mostowski method, revisited
• The axiom of choice

Cited in

(6)

• The Modal Logic of Equilibrium Models
• Permutation Models in the Sense of Rieger-Bernays
• scientific article; zbMATH DE number 4029545 (Why is no real title available?)
• A consistent theory of attributes in a logic without contraction
• An extension of a permutative model of set theory
• scientific article; zbMATH DE number 7454909 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1904094)