Commutativity and self-reference

DOI10.1305/NDJFL/1093870156zbMath0528.03009OpenAlexW1974406212MaRDI QIDQ786803

Craig Smorynski

Publication date: 1982

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

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

zbMATH Keywords

fixed pointcommuting operatorscommutativityarithmetical self-referencemodal analysis of arithmetical self-referencemodal logic GL

Mathematics Subject Classification ID

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

Related Items (1)

Fixed point algebras

This page was built for publication: Commutativity and self-reference