Strengthening Consistency Results in Modal Logic

DOI10.4204/eptcs.379.4arXiv2307.05053MaRDI QIDQ6199593

Arthur Paul Pedersen, Samuel A. Alexander

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05053

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A machine that knows its own code
• A paradox regained
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Fast-collapsing theories
• An axiomatic version of Fitch's paradox
• The Surprise Examination or Unexpected Hanging Paradox
• Absolute Versions of Incompleteness Theorems
• SELF-REFERENTIAL THEORIES
• Solutions to the knower paradox in the light of Haack's criteria

This page was built for publication: Strengthening Consistency Results in Modal Logic