Epistemic and intuitionistic formal systems

DOI10.1016/0168-0072(86)90043-6zbMath0626.03050OpenAlexW2041630238MaRDI QIDQ580343

Robert C. Flagg, Harvey M. Friedman

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90043-6

zbMATH Keywords

Boolean algebraHeyting algebraconservative extensionepistemic formal systemsformal systems based on Lewis' modal logic (S4)Funayama's Theoremintuitionistic formal system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50)

Related Items (8)

Provability in principle and controversial constructivistic principles ⋮ Negative translations not intuitionistically equivalent to the usual ones ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ Explicit Provability and Constructive Semantics ⋮ Modal translations in substructural logics ⋮ 1998–99 Annual Meeting of the Association for Symbolic Logic ⋮ A polynomial translation of S4 into intuitionistic logic

Cites Work

• Integrating classical and intuitionistic type theory
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epistemic and intuitionistic formal systems