The equivalence of the disjunction and existence properties for modal arithmetic

DOI10.2307/2274825zbMATH Open0706.03018OpenAlexW4232871847MaRDI QIDQ3486545FDOQ3486545

Harvey M. Friedman, Michael Sheard

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274825

Recommendations

• The disjunction and existence properties for axiomatic systems of truth
• Extended disjunction and existence properties for some predicate modal logics
• scientific article; zbMATH DE number 4010487
• scientific article; zbMATH DE number 4066843
• On modal systems having arithmetical interpretations

zbMATH Keywords

disjunction propertyexistence propertymodal arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (7)

• Title not available (Why is that?)
• The disjunction and existence properties for axiomatic systems of truth
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• The disjunction property of intermediate propositional logics
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Provability in principle and controversial constructivistic principles
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

This page was built for publication: The equivalence of the disjunction and existence properties for modal arithmetic

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