The equivalence of the disjunction and existence properties for modal arithmetic

DOI10.2307/2274825MaRDI QIDQ3486545zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

disjunction propertyexistence propertymodal arithmetic

Mathematics Subject Classification ID

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

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

Cited in

(9)

• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
• scientific article; zbMATH DE number 4010487 (Why is no real title available?)
• The disjunction and existence properties for axiomatic systems of truth
• The disjunction property of intermediate propositional logics
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Nondeterministic first-order T-BAT logic
• Provability in principle and controversial constructivistic principles
• On partial disjunction properties of theories containing Peano 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)