The equivalence of the disjunction and existence properties for modal arithmetic

DOI10.2307/2274825zbMath0706.03018OpenAlexW4232871847MaRDI QIDQ3486545

Harvey M. Friedman, Michael Sheard

Publication date: 1989

Published in: The 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)

Related Items

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics, Provability in principle and controversial constructivistic principles, The disjunction and existence properties for axiomatic systems of truth, DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC, The disjunction property of intermediate propositional logics