ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
From MaRDI portal
Publication:4918381
DOI10.1017/S1755020312000275zbMATH Open1267.03056MaRDI QIDQ4918381FDOQ4918381
Publication date: 24 April 2013
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Provability interpretations of modal logic
- No escape from Vardanyan's theorem
- The predicate modal logic of provability
- Finite Kripke models and predicate logics of provability
- Self-reference and modal logic
- Transfinite recursive progressions of axiomatic theories
- Systems of Logic Based on Ordinals†
- Induction rules, reflection principles, and provably recursive functions
- Provability: The emergence of a mathematical modality
Cited In (11)
- On inclusions between quantified provability logics
- A remark on propositional Kripke frames sound for intuitionistic logics
- Rosser Orderings in Bimodal Logics
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
- Title not available (Why is that?)
- Kripke Models Built from Models of Arithmetic
- Modal-epistemic variants of Shapiro's system of epistemic arithmetic
- Arithmetical completeness theorems for monotonic modal logics
- On classes of arithmetical counterparts of modal provability logics
- Some results on Kripke models over an arbitrary fixed frame
- On predicate provability logics and binumerations of fragments of Peano arithmetic
This page was built for publication: ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918381)
