All Stories

  1. Rosser Provability and Normal Modal Logics
  2. On arithmetical completeness of the logic of proofs
  3. PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
  4. On partial disjunction properties of theories containing Peano arithmetic
  5. Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$Σ2 Numerations
  6. GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC
  7. Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$$ K
  8. UNIVERSAL ROSSER PREDICATES
  9. ILLUSORY MODELS OF PEANO ARITHMETIC
  10. Henkin sentences and local reflection principles for Rosser provability
  11. Liar-type Paradoxes and the Incompleteness Phenomena
  12. On Rosser's provability predicates
  13. Rosser-Type Undecidable Sentences Based on Yablo’s Paradox
  14. On predicate provability logics and binumerations of fragments of Peano arithmetic
  15. ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
  16. On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
  17. Three Short Stories around Gödel's Incompleteness Theorems