Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Pour-El, Marian Boykan
1970.
A Recursion-theoretic View of Axiomatizable Theories.
dialectica,
Vol. 24,
Issue. 4,
p.
267.
Magari, Roberto
1974.
Problemi aperti sulle algebre diagonali.
Rendiconti del Seminario Matematico e Fisico di Milano,
Vol. 44,
Issue. 1,
p.
75.
Bernardi, Claudio
1975.
The fixed-point theorem for diagonalizable algebras.
Studia Logica,
Vol. 34,
Issue. 3,
p.
239.
Krajewski, S.
1981.
Dictionary of Logic as Applied in the Study of Language.
p.
22.
Visser, Albert
1982.
On the completenes principle: A study of provability in heyting's arithmetic and extensions.
Annals of Mathematical Logic,
Vol. 22,
Issue. 3,
p.
263.
Pudlák, Pavel
1983.
Some prime elements in the lattice of interpretability types.
Transactions of the American Mathematical Society,
Vol. 280,
Issue. 1,
p.
255.
Krajíček, Jan
1985.
Some Theorems on the Lattice of Local Interpretability Types.
Mathematical Logic Quarterly,
Vol. 31,
Issue. 29-30,
p.
449.
Rivières, Jim des
and
Levesque, Hector J.
1988.
The consistency of syntactical treatments of knowledge1 (How to compile quantificational modal logics into classical FOL).
Computational Intelligence,
Vol. 4,
Issue. 1,
p.
31.
Guccione, Salvatore
1993.
Mind the truth: Penrose's new step in the Gödelian argument.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
612.
Wallace, Ron
1993.
Cognitive mapping and algorithmic complexity: Is there a role for quantum processes in the evolution of human consciousness?.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
614.
Wilson, David L.
1993.
Quantum theory and consciousness.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
615.
Davis, Martin
1993.
How subtle is Gödel's theorem? More on Roger Penrose.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
611.
Penrose, Roger
1993.
An emperor still without mind.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
616.
Squires, Euan J.
1993.
The incompleteness of quantum physics.
Behavioral and Brain Sciences,
Vol. 16,
Issue. 3,
p.
613.
Pudlák, Pavel
1996.
Collegium Logicum.
Vol. 2,
Issue. ,
p.
65.
LINDSTRÖM, PER
1997.
Interpretability in reflexive theories ‐ a survey.
Theoria,
Vol. 63,
Issue. 3,
p.
182.
PICOLLO, LAVINIA
2018.
REFERENCE IN ARITHMETIC.
The Review of Symbolic Logic,
Vol. 11,
Issue. 3,
p.
573.
Picollo, Lavinia
2020.
Alethic Reference.
Journal of Philosophical Logic,
Vol. 49,
Issue. 3,
p.
417.
Picollo, Lavinia
2020.
Reference and Truth.
Journal of Philosophical Logic,
Vol. 49,
Issue. 3,
p.
439.
BLANCK, RASMUS
2021.
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC.
The Review of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
624.