Raymond Smullyan on Self Reference
Reflection Principles and Iterated Consistency Assertions
Models as Universes
2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '14 Vienna, AUSTRIA July 14-19, 2014
The Logic of Provability - George Boolos - Google Books
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Basic Law (V)
PDF) Inductive Logic and Empirical Psychology | Nick Chater - Academia.edu
Chapter 4 Kant's Modal Concepts in: Absolute Form: Modality, Individuality and the Principle of Philosophy in Kant and Hegel
Frege's Theorem and the Peano Postulates
PDF) Truth, disjunction, and induction
Provability: The Emergence of a Mathematical Modality
Talk:Mathematical induction/Archive - Wikipedia
Well- and Non-Well-Founded Fregean Extensions
Provability, Truth, and Modal Logic
ON THE NONEXISTENCE OF CERTAIN NORMAL FORMS IN THE LOGIC OF PROVABILITY G is the system of propositional modal logic whose axiom
REFLECTION PRINCIPLES AND ITERATED CONSISTENCY ASSERTIONS This paper compares the strength of two sorts of sentences of PA (clas
EMS Magazine
Language Proof And L.. - Free
PDF) A simplified proof of arithmetical completeness theorem for provability logic GLP
UNDECIDABILITY IN DIAGONALIZABLE ALGEBRAS Dedicated to the memory of George Boolos §0. Introduction. A diagonalizable algebra J
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq
Mendler Induction and Classical Logic
