All Stories

  1. Categories of theories and interpretations
  2. On Q
  3. The Arithmetics of a Theory
  4. SELF-REFERENCE IN ARITHMETIC I
  5. SELF-REFERENCE IN ARITHMETIC II
  6. Dynamics
  7. Dynamics
  8. Actions under Presuppositions
  9. Logic and Information Flow
  10. Interpretability Logic
  11. Semantics and the Liar Paradox
  12. Provability logic