Self-reference and modal logic

Publication date: 1985

Published in: Universitext (Search for Journal in Brave)

Gödel sentence provability predicate witness comparisons Rosser sentences fixed point sentence Henkin sentence modal analysis of fixed points modal provability logic multi-modal schemes self-referential sentences sentential self-reference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (99)

Logic of proofs ⋮ Reflection algebras and conservation results for theories of iterated truth ⋮ ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ On bimodal logics of provability ⋮ Effectively constructible fixed points in Sacchetti's modal logics of provability ⋮ Beyond Logical Approach to Systems Theory ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ A course on bimodal provability logic ⋮ The Henkin Sentence ⋮ Languages with self-reference. II: Knowledge, belief, and modality ⋮ A set-theoretic translation method for polymodal logics ⋮ Friedman-reflexivity ⋮ Arithmetic analogues of McAloon's unique Rosser sentences ⋮ Infinitary combinatorics and modal logic ⋮ Hard provability logics ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Inverse images of box formulas in modal logic ⋮ Collapsing probabilistic hierarchies. I ⋮ Provability in finite subtheories of PA and relative interpretability: a modal investigation ⋮ The paradox of the knower revisited ⋮ A small reflection principle for bounded arithmetic ⋮ Rosser provability and normal modal logics ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ Lewis meets Brouwer: constructive strict implication ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ Unnamed Item ⋮ On first-order theories with provability operator ⋮ ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS ⋮ Dynamic Cantor Derivative Logic ⋮ Definability and commonsense reasoning ⋮ Varieties of self-reference in metamathematics ⋮ Solutions to the knower paradox in the light of Haack's criteria ⋮ GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑_n-DEFINABLE THEORIES OF ARITHMETIC ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ The fixed point property in modal logic ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Undecidability in diagonalizable algebras ⋮ GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS ⋮ Reflection calculus and conservativity spectra ⋮ Mathematical modal logic: A view of its evolution ⋮ Parameter free induction and provably total computable functions ⋮ Bimodal logics for extensions of arithmetical theories ⋮ The decision problem of provability logic with only one atom ⋮ Reflecting in epistemic arithmetic ⋮ On the Difficulty of Writing Out formal Proofs in Arithmetic ⋮ Interacting explicit evidence systems ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ On the proof of Solovay's theorem ⋮ Rosser orderings and free variables ⋮ Large discrete parts of the E-tree ⋮ The de Jongh property for basic arithmetic ⋮ Axiomatizing provable \(n\)-provability ⋮ Explicit Provability and Constructive Semantics ⋮ A remark on equivalent Rosser sentences ⋮ Reflection of formal tactics in a deductive reflection framework ⋮ A note on the diagonalizable algebras of PA and ZF ⋮ On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability ⋮ On the complexity of arithmetical interpretations of modal formulae ⋮ On partial disjunction properties of theories containing Peano arithmetic ⋮ A quantified logic of evidence ⋮ ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY ⋮ The scope of Gödel's first incompleteness theorem ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ Model Theoretic Syntax and Parsing ⋮ SELF-REFERENCE IN ARITHMETIC I ⋮ Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule ⋮ Rules and arithmetics ⋮ Fixed points and unfounded chains ⋮ Faith \& falsity ⋮ The knower paradox in the light of provability interpretations of modal logic ⋮ Referential logic of proofs ⋮ Self-referential justifications in epistemic logic ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ Interpretability over peano arithmetic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ The single-conclusion proof logic and inference rules specification ⋮ Logic of proofs and provability ⋮ The interpretability logic of Peano arithmetic ⋮ Unnamed Item ⋮ Closed Fragments of Provability Logics of Constructive Theories ⋮ Paradoxes of interaction? ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant ⋮ The logic of \(\Pi_ 1\)-conservativity ⋮ AXIOMATIZATION OF PROVABLE n-PROVABILITY ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) ⋮ Basic Propositional Calculus I ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ Topological Interpretations of Provability Logic ⋮ The arithmetics of a theory ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ The logic of arithmetical hierarchy ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

This page was built for publication: Self-reference and modal logic