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

DOI10.1305/NDJFL/1094061865zbMATH Open0816.03031OpenAlexW2041236447MaRDI QIDQ1344441FDOQ1344441

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

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

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)

Cited In (7)

• 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
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Modal-epistemic arithmetic and the problem of quantifying in

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)