A modal logic of consistency

zbMATH Open0839.03035MaRDI QIDQ1904094FDOQ1904094

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

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”

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)

Cites Work

• Title not available (Why is that?)
• The axiom of choice
• Powers of regular cardinals
• Title not available (Why is that?)
• Provability interpretations of modal logic
• Extensions of the Lewis system S5
• Freyd’s models for the independence of the axiom of choice
• Permutation models and topological groups
• The Fraenkel-Mostowski method, revisited
• Permutation Models in the Sense of Rieger-Bernays

Cited In (6)

• The Modal Logic of Equilibrium Models
• Permutation Models in the Sense of Rieger-Bernays
• Title not available (Why is that?)
• Title not available (Why is that?)
• A consistent theory of attributes in a logic without contraction
• An extension of a permutative model of set theory

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)