Albert Visser

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 18

Top Topics

Extractive Summarization

Arithmetic Operations

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

Albert Visser, Tadeusz Litak
Lewis and Brouwer meet Strong L\"ob. CoRR (2024)
Albert Visser
Essential hereditary undecidability. Arch. Math. Log. 63 (5-6) (2024)
Balthasar Grabmayr, Albert Visser
Self-Reference Upfront: a Study of Self-Referential Gödel Numberings. Rev. Symb. Log. 16 (2) (2023)
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
On Guaspari's problem about partially conservative sentences. Ann. Pure Appl. Log. 173 (5) (2022)
Albert Visser
Friedman-reflexivity. Ann. Pure Appl. Log. 173 (9) (2022)
Albert Visser
The absorption law. Arch. Math. Log. 60 (3-4) (2021)
Albert Visser
Enayat Theories. FLAP 8 (7) (2021)
Albert Visser
Another Look at the second Incompleteness Theorem. Rev. Symb. Log. 13 (2) (2020)
Albert Visser
The small-is-very-small principle. Math. Log. Q. 65 (4) (2019)
Fedor Pakhomov, Albert Visser
On a Question of Krajewski's. J. Symb. Log. 84 (1) (2019)
Albert Visser
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. J. Log. Comput. 29 (5) (2019)
Albert Visser, Jetze Zoethout
Provability logic and the completeness principle. Ann. Pure Appl. Log. 170 (6) (2019)
Tadeusz Litak, Albert Visser
Lewisian Fixed Points I: Two Incomparable Constructions. CoRR (2019)
Paula Henk, Albert Visser
Interpretability suprema in Peano Arithmetic. Arch. Math. Log. 56 (5-6) (2017)
Tadeusz Litak, Albert Visser
Lewis meets Brouwer: constructive strict implication. CoRR (2017)
Albert Visser
On Q. Soft Comput. 21 (1) (2017)
Albert Visser
Transductions in arithmetic. Ann. Pure Appl. Log. 167 (3) (2016)
Albert Visser
The Arithmetics of a Theory. Notre Dame J. Formal Log. 56 (1) (2015)
Albert Visser
Interpretability degrees of finitely axiomatized sequential theories. Arch. Math. Log. 53 (1-2) (2014)
Volker Halbach, Albert Visser
Self-Reference in Arithmetic II. Rev. Symb. Log. 7 (4) (2014)
Albert Visser
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories. Math. Log. Q. 60 (1-2) (2014)
Volker Halbach, Albert Visser
Self-Reference in Arithmetic I. Rev. Symb. Log. 7 (4) (2014)
V. Yu. Shavrukov, Albert Visser
Uniform Density in Lindenbaum Algebras. Notre Dame J. Formal Log. 55 (4) (2014)
Albert Visser
Vaught's Theorem on Axiomatizability by a Scheme. Bull. Symb. Log. 18 (3) (2012)
Albert Visser
A Tractarian Universe. J. Philos. Log. 41 (3) (2012)
Albert Visser
The Second Incompleteness Theorem and Bounded Interpretations. Stud Logica 100 (1-2) (2012)
Albert Visser
Hume's Principle, Beginnings. Rev. Symb. Log. 4 (1) (2011)
Albert Visser
Can We Make the Second Incompleteness Theorem Coordinate Free? J. Log. Comput. 21 (4) (2011)
Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser
On the Termination of Russell's Description Elimination Algorithm. Rev. Symb. Log. 4 (3) (2011)
Dick de Jongh, Rineke Verbrugge, Albert Visser
Intermediate Logics and the de Jongh property. Arch. Math. Log. 50 (1-2) (2011)
Sergei I. Adian, Lev D. Beklemishev, Albert Visser
Proof and Computation. J. Log. Comput. 21 (4) (2011)
Albert Visser
On the ambiguation of Polish notation. Theor. Comput. Sci. 412 (28) (2011)
Albert Visser
Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame J. Formal Log. 50 (1) (2009)
Albert Visser
Cardinal Arithmetic in the Style of Baron von MüNchhausen. Rev. Symb. Log. 2 (3) (2009)
Albert Visser
The predicative Frege hierarchy. Ann. Pure Appl. Log. 160 (2) (2009)
Albert Visser
Closed fragments of provability logics of constructive theories. J. Symb. Log. 73 (3) (2008)
Albert Visser
Pairs, sets and sequences in first-order theories. Arch. Math. Log. 47 (4) (2008)
Albert Visser
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Notre Dame J. Formal Log. 47 (3) (2006)
Albert Visser
Predicate logics of constructive arithmetical theories. J. Symb. Log. 71 (4) (2006)
Albert Visser, Maartje de Jonge
No Escape from Vardanyan's theorem. Arch. Math. Log. 45 (5) (2006)
Lev D. Beklemishev, Albert Visser
-consequences of theories. Ann. Pure Appl. Log. 136 (1-2) (2005)
Albert Visser
Löb's Logic Meets the µ-Calculus. Processes, Terms and Cycles (2005)
Albert Visser
Faith & falsity. Ann. Pure Appl. Log. 131 (1-3) (2005)
Giovanna D'Agostino, Albert Visser
Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. 41 (3) (2002)
Albert Visser
The Donkey and the Monoid. Dynamic Semantics with Control Elements. J. Log. Lang. Inf. 11 (1) (2002)
Albert Visser
- sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Log. 114 (1-3) (2002)
Albert Visser
Submodels of Kripke models. Arch. Math. Log. 40 (4) (2001)
Albert Visser
Rules and Arithmetics. Notre Dame J. Formal Log. 40 (1) (1999)
Marco Hollenberg, Albert Visser
Dynamic Negation, the One and Only. J. Log. Lang. Inf. 8 (2) (1999)
Albert Visser
Contexts in Dynamic Predicate Logic. J. Log. Lang. Inf. 7 (1) (1998)
Albert Visser
Dynamic Relation Logic Is the Logic of DPL-Relations. J. Log. Lang. Inf. 6 (4) (1997)
Albert Visser
An Overview of Interpretability Logic. Advances in Modal Logic (1996)
Albert Visser, Kees Vermeulen
Dynamic Bracketing and Discourse Representation. Notre Dame J. Formal Log. 37 (2) (1996)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
Albert Visser
A Course on Bimodal Provability Logic. Ann. Pure Appl. Log. 73 (1) (1995)
Rineke Verbrugge, Albert Visser
A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59 (3) (1994)
Albert Visser
The unprovability of small inconsistency - A study of local and global interpretability. Arch. Math. Log. 32 (4) (1993)
Albert Visser
with a Propositional Constant for EXP. J. Symb. Log. 57 (1) (1992)
Albert Visser
-Completeness. Notre Dame J. Formal Log. 32 (4) (1991)
Dick de Jongh, Albert Visser
Explicit Fixed Points in Interpretability Logic. Stud Logica 50 (1) (1991)
Albert Visser
The formalization of Interpretability. Stud Logica 50 (1) (1991)
Albert Visser
Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. Notre Dame J. Formal Log. 30 (2) (1989)
Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen
Finite Kripke models of HA are locally PA. Notre Dame J. Formal Log. 27 (4) (1986)
Albert Visser
Four valued semantics and the Liar. J. Philos. Log. 13 (2) (1984)
Albert Visser
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic. J. Philos. Log. 13 (1) (1984)
Albert Visser
On the completenes principle: A study of provability in heyting's arithmetic and extensions. Ann. Math. Log. 22 (3) (1982)