Calculating self-referential statements. I: Explicit calculations

DOI10.1007/BF00493670zbMath0412.03037OpenAlexW1969438823MaRDI QIDQ1259545

Craig Smorynski

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00493670

zbMATH Keywords

modal logicfixed pointderivabilityKripke modelsprovabilitycalculating self-referential statementsdiagonal restriction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Related Items

A propositional logic with explicit fixed points ⋮ Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ Sentences implying their own provability ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Solution of a problem of Leon Henkin
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Topological aspects of suitable theories
• On deciding the truth of certain statements involving the notion of consistency
• A note on the number of zeros of polynomials and exponential polynomials
• Gödel's diagonalization technique and related properties of theories