☰

Albert Visser - Publications

Affiliations: 
1998-2016 Philosophy Utrecht University, Utrecht, Netherlands 
Area:
Logic, Foundations of Mathematics
Website:
https://www.uu.nl/staff/AVisser
Tree Info Similar researchers PubMed Report error

51 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Visser A. Another Look At The Second Incompleteness Theorem Review of Symbolic Logic. 13: 269-295. DOI: 10.1017/S1755020319000248  0.402
2019 Visser A. From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference Journal of Logic and Computation. 29: 595-604. DOI: 10.1093/Logcom/Exz004  0.364
2019 Pakhomov F, Visser A. On a question of krajewski’s Journal of Symbolic Logic. 84: 343-358. DOI: 10.1017/Jsl.2018.72  0.34
2019 Visser A, Zoethout J. Provability Logic and the Completeness Principle Annals of Pure and Applied Logic. 170: 718-753. DOI: 10.1016/J.Apal.2019.02.001  0.477
2019 Visser A. The small-is-very-small principle Mathematical Logic Quarterly. 65: 453-478. DOI: 10.1002/Malq.201800088  0.459
2018 Litak T, Visser A. Lewis meets Brouwer: Constructive strict implication Indagationes Mathematicae. 29: 36-90. DOI: 10.1016/J.Indag.2017.10.003  0.441
2017 Henk P, Visser A. Interpretability suprema in Peano Arithmetic Archive For Mathematical Logic. 56: 555-584. DOI: 10.1007/S00153-017-0557-4  0.377
2016 Visser A. Transductions in arithmetic Annals of Pure and Applied Logic. 167: 211-234. DOI: 10.1016/J.Apal.2015.11.002  0.418
2015 Visser A. The Arithmetics of a Theory Notre Dame Journal of Formal Logic. 56: 81-119. DOI: 10.1215/00294527-2835029  0.436
2015 Enayat A, Visser A. New Constructions of Satisfaction Classes Logic Group Preprint Series. 303: 321-335. DOI: 10.1007/978-94-017-9673-6_16  0.305
2014 Shavrukov VY, Visser A. Uniform Density in Lindenbaum Algebras Notre Dame Journal of Formal Logic. 55: 569-582. DOI: 10.1215/00294527-2798754  0.339
2014 Halbach V, Visser A. Self-Reference In Arithmetic Ii Review of Symbolic Logic. 7: 671-691. DOI: 10.1017/S1755020314000288  0.381
2014 Visser A. Interpretability degrees of finitely axiomatized sequential theories Archive For Mathematical Logic. 53: 23-42. DOI: 10.1007/S00153-013-0353-8  0.468
2014 Halbach V, Visser A. The Henkin Sentence Logic Group Preprint Series. 317: 249-263. DOI: 10.1007/978-3-319-09719-0_17  0.339
2014 Visser A. Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories Mathematical Logic Quarterly. 60: 92-117. DOI: 10.1002/Malq.201200102  0.454
2012 Visser A. The Second Incompleteness Theorem and Bounded Interpretations Studia Logica. 100: 399-418. DOI: 10.1007/S11225-012-9385-Z  0.466
2012 Visser A. A Tractarian Universe Journal of Philosophical Logic. 41: 519-545. DOI: 10.1007/S10992-011-9182-6  0.309
2011 Visser A. Can We Make the Second Incompleteness Theorem Coordinate Free Journal of Logic and Computation. 21: 543-560. DOI: 10.1093/Logcom/Exp048  0.459
2011 Visser A. Hume'S Principle, Beginnings Review of Symbolic Logic. 4: 114-129. DOI: 10.1017/S1755020310000316  0.422
2011 Visser A. On the ambiguation of Polish notation Theoretical Computer Science. 412: 3404-3411. DOI: 10.1016/J.Tcs.2011.01.025  0.431
2010 Čačić V, Pudlák P, Restall G, Urquhart A, Visser A. Decorated linear order types and the theory of concatenation Logic Group Preprint Series. 258. DOI: 10.1017/Cbo9780511778421.003  0.418
2010 de Jongh D, Verbrugge R, Visser A. Intermediate Logics and the de Jongh property Archive For Mathematical Logic. 50: 197-213. DOI: 10.1007/S00153-010-0209-4  0.627
2009 Visser A. Growing Commas. A Study of Sequentiality and Concatenation Notre Dame Journal of Formal Logic. 50: 61-85. DOI: 10.1215/00294527-2008-028  0.365
2009 Visser A. Cardinal Arithmetic In The Style Of Baron Von Münchhausen Review of Symbolic Logic. 2: 570-589. DOI: 10.1017/S1755020309090261  0.404
2009 Visser A. The predicative Frege hierarchy Annals of Pure and Applied Logic. 160: 129-153. DOI: 10.1016/J.Apal.2009.02.001  0.37
2008 Visser A. Closed fragments of provability logics of constructive theories Journal of Symbolic Logic. 73: 1081-1096. DOI: 10.2178/Jsl/1230396766  0.471
2008 Enayat A, Schmerl JH, Visser A. ω-Models of finite set theory Logic Group Preprint Series. 266: 1-27. DOI: 10.1017/Cbo9780511910616.004  0.423
2008 Visser A. Pairs, sets and sequences in first-order theories Archive For Mathematical Logic. 47: 299-326. DOI: 10.1007/S00153-008-0087-1  0.463
2006 Visser A. Predicate logics of constructive arithmetical theories Journal of Symbolic Logic. 71: 1311-1326. DOI: 10.2178/Jsl/1164060457  0.444
2006 Visser A. Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic Notre Dame Journal of Formal Logic. 47: 299-309. DOI: 10.1305/Ndjfl/1163775437  0.46
2006 Visser A, Jonge Md. No escape from Vardanyan’s Theorem Archive For Mathematical Logic. 45: 539-554. DOI: 10.1007/S00153-006-0328-0  0.467
2005 Beklemishev LD, Visser A. On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories Annals of Pure and Applied Logic. 136: 56-74. DOI: 10.1016/J.Apal.2005.05.005  0.456
2005 Visser A. Löb's logic meets the µ-calculus Lecture Notes in Computer Science. 14-25. DOI: 10.1007/11601548_3  0.458
2002 Visser A. The Donkey and the Monoid.Dynamic Semantics with Control Elements Journal of Logic, Language and Information. 11: 107-131. DOI: 10.1023/A:1013026830239  0.361
2002 Visser A. Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic Annals of Pure and Applied Logic. 114: 227-271. DOI: 10.1016/S0168-0072(01)00081-1  0.457
2002 D'Agostino G, Visser A. Finality regained: A coalgebraic study of Scott-sets and multisets Archive For Mathematical Logic. 41: 267-298. DOI: 10.1007/S001530100110  0.342
2001 Visser A. Submodels of Kripke Models Archive For Mathematical Logic. 40: 277-295. DOI: 10.1007/Pl00003842  0.358
2000 Joosten JJ, Visser A. The interpretability logic of all reasonable arithmetical theories Logic Group Preprint Series. 8: 3-26. DOI: 10.1023/A:1005657917054  0.465
1998 Visser A. Contexts in Dynamic Predicate Logic Journal of Logic, Language and Information. 7: 21-52. DOI: 10.1023/A:1008206916207  0.355
1997 Visser A. Dynamic Relation Logic Is the Logic of DPL-Relations Journal of Logic, Language and Information. 6: 441-452. DOI: 10.1023/A:1008228122853  0.332
1996 Visser A, Vermeulen K. Dynamic Bracketing and Discourse Representation Notre Dame Journal of Formal Logic. 37: 321-365. DOI: 10.1305/Ndjfl/1040046091  0.328
1995 Visser A. A course on bimodal provability logic Annals of Pure and Applied Logic. 73: 109-142. DOI: 10.1016/0168-0072(93)E0079-4  0.482
1994 Verbrugge R, Visser A. A small reflection principle for bounded arithmetic Journal of Symbolic Logic. 59: 785-812. DOI: 10.2307/2275908  0.651
1992 Visser A. An Inside View of Exp; or, The Closed Fragment of the Provability Logic of $I\Delta_0 + \Omega_1$ with a Propositional Constant for $\operatorname{Exp}$ Journal of Symbolic Logic. 57: 131-165. DOI: 10.2307/2275181  0.322
1991 Visser A. Boolos George and McGee Vann. The degree of the set of sentences of predicate provability logic that are true under every interpretation. The journal of symbolic logic, vol. 52 (1987), pp. 165–171. Journal of Symbolic Logic. 56: 332-332. DOI: 10.2307/2274924  0.385
1991 Visser A. The unprovability of small inconsistency Logic Group Preprint Series. 64. DOI: 10.1007/Bf01387407  0.437
1991 Visser A. The formalization of interpretability Studia Logica. 50: 81-105. DOI: 10.1007/Bf00370389  0.342
1991 Jongh Dd, Visser A. Explicit Fixed Points in Interpretability Logic Studia Logica. 50: 39-49. DOI: 10.1007/Bf00370386  0.394
1984 Visser A. The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic Journal of Philosophical Logic. 13: 97-113. DOI: 10.1007/Bf00297579  0.441
1982 Visser A. On the completenes principle: A study of provability in heyting's arithmetic and extensions Annals of Mathematical Logic. 22: 263-295. DOI: 10.1016/0003-4843(82)90024-9  0.515
1981 Visser A. A propositional logic with explicit fixed points Studia Logica. 40: 155-175. DOI: 10.1007/Bf01874706  0.443
Show low-probability matches.