Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Formal definitions in the theory of ordinal numbers | Fundamenta Mathematicae |
| 32 | 1936 |
On computable numbers, with an application to the Entscheidungsproblem | 1936 | |||
On computable numbers, with an application to the Entscheidungsproblem | 1937 | |||
On undecidable propositions of formal mathematical systems | 1934 | |||
An Unsolvable Problem of Elementary Number Theory | American Journal of Mathematics |
| 388 | 1936 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Exact Truthmaker Semantics for Modal Logics | Journal of Philosophical Logic |
| 2024 | |
Embedding justification theory in approximation fixpoint theory | Artificial Intelligence |
| 2024 | |
A probabilistic analysis of selected notions of iterated conditioning under coherence | International Journal of Approximate Reasoning |
| 1 | 2024 |
A survey on uncertainty reasoning and quantification in belief theory and its application to deep learning | Information Fusion |
| 2024 | |
Argument-based inductive logics, with coverage of compromised perception | Frontiers in Artificial Intelligence |
| 2024 |