Modal-epistemic variants of Shapiro's system of epistemic arithmetic

DOI10.1305/NDJFL/1094061865MaRDI QIDQ1344441zbMATH OpenOpenAlexFDO

Authors Leon Horsten

Publication date 13 February 1995

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1094061865

zbMATH Keywords

Heyting arithmeticpossible-worlds semanticsModal-Epistemic Arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Recommendations

• Modal-epistemic arithmetic and the problem of quantifying in
• On modal systems having arithmetical interpretations
• On intuitionistic modal epistemic logic
• The modal status of contextually a priori arithmetical truths
• A new modal framework for epistemic logic
• scientific article; zbMATH DE number 1097010
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Intuitionistic epistemology and modal logics of verification
• On the complexity of arithmetical interpretations of modal formulae
• Epistemic predicates in the arithmetical context

Cited in

(7)

• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Modal-epistemic arithmetic and the problem of quantifying in
• Flagg realizability in arithmetic
• Reflecting in epistemic arithmetic
• Closure of a priori knowability under a priori knowable material implication
• Two Proof-Theoretic Remarks on EA + ECT
• The epistemic significance of numerals

This page was built for publication: Modal-epistemic variants of Shapiro's system of epistemic arithmetic

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