Modal-epistemic variants of Shapiro's system of epistemic arithmetic
From MaRDI portal
(Redirected from Publication:1344441)
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)