Characters and fixed points in provability logic

DOI10.1305/ndjfl/1093635330zbMath0713.03008OpenAlexW2090937569MaRDI QIDQ749521

Zachary Gleit, Warren D. Goldfarb

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635330

zbMATH Keywords

fixed point theoremKripke modelsprovability logicBeth's definability theoremcomplexity of modelsCraig's interpolation theoremGödel-Löb provability system GLjoint satisfiability of formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Gödel numberings and issues of incompleteness (03F40)

Related Items

An algebraic theory of normal forms, The Henkin Sentence, Provability: The emergence of a mathematical modality, The provability logic for \(\Sigma_ 1\)-interpolability