Albert Visser - RankMe

71 papers B 1Journal 68Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CERTIFIED $ \Sigma _1$ -SENTENCES. J. Symb. Log. Taishi Kurahashi, Albert Visser
2025	J	`jnl`	When bi-interpretability Implies Synonymy. Rev. Symb. Log. Harvey Friedman, Albert Visser
2024	J	`jnl`	Essential hereditary undecidability. Arch. Math. Log. Albert Visser
2024	J	`jnl`	Lewis and Brouwer meet Strong L\"ob. CoRR Albert Visser, Tadeusz Litak
2024	J	`jnl`	Pour-el's Landscape. Bull. Symb. Log. Taishi Kurahashi, Albert Visser
2024	J	`jnl`	There are no minimal essentially undecidable theories. J. Log. Comput. Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser
2023	J	`jnl`	Self-Reference Upfront: a Study of Self-Referential Gödel Numberings. Rev. Symb. Log. Balthasar Grabmayr, Albert Visser
2022	J	`jnl`	Friedman-reflexivity. Ann. Pure Appl. Log. Albert Visser
2022	J	`jnl`	On Guaspari's problem about partially conservative sentences. Ann. Pure Appl. Log. Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
2021	J	`jnl`	Enayat Theories. FLAP Albert Visser
2021	J	`jnl`	The absorption law. Arch. Math. Log. Albert Visser
2020	J	`jnl`	Another Look at the second Incompleteness Theorem. Rev. Symb. Log. Albert Visser
2019	J	`jnl`	From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. J. Log. Comput. Albert Visser
2019	J	`jnl`	Lewisian Fixed Points I: Two Incomparable Constructions. CoRR Tadeusz Litak, Albert Visser
2019	J	`jnl`	On a Question of Krajewski's. J. Symb. Log. Fedor Pakhomov, Albert Visser
2019	J	`jnl`	Provability logic and the completeness principle. Ann. Pure Appl. Log. Albert Visser, Jetze Zoethout
2019	J	`jnl`	The small-is-very-small principle. Math. Log. Q. Albert Visser
2017	J	`jnl`	Interpretability suprema in Peano Arithmetic. Arch. Math. Log. Paula Henk, Albert Visser
2017	J	`jnl`	Lewis meets Brouwer: constructive strict implication. CoRR Tadeusz Litak, Albert Visser
2017	J	`jnl`	On Q. Soft Comput. Albert Visser
2016	J	`jnl`	Transductions in arithmetic. Ann. Pure Appl. Log. Albert Visser
2015	J	`jnl`	The Arithmetics of a Theory. Notre Dame J. Formal Log. Albert Visser
2014	J	`jnl`	Interpretability degrees of finitely axiomatized sequential theories. Arch. Math. Log. Albert Visser
2014	J	`jnl`	Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories. Math. Log. Q. Albert Visser
2014	J	`jnl`	Self-Reference in Arithmetic I. Rev. Symb. Log. Volker Halbach, Albert Visser
2014	J	`jnl`	Self-Reference in Arithmetic II. Rev. Symb. Log. Volker Halbach, Albert Visser
2014	J	`jnl`	Uniform Density in Lindenbaum Algebras. Notre Dame J. Formal Log. V. Yu. Shavrukov, Albert Visser
2012	J	`jnl`	A Tractarian Universe. J. Philos. Log. Albert Visser
2012	J	`jnl`	The Second Incompleteness Theorem and Bounded Interpretations. Stud Logica Albert Visser
2012	J	`jnl`	Vaught's Theorem on Axiomatizability by a Scheme. Bull. Symb. Log. Albert Visser
2011	J	`jnl`	Can We Make the Second Incompleteness Theorem Coordinate Free? J. Log. Comput. Albert Visser
2011	J	`jnl`	Hume's Principle, Beginnings. Rev. Symb. Log. Albert Visser
2011	J	`jnl`	Intermediate Logics and the de Jongh property. Arch. Math. Log. Dick de Jongh, Rineke Verbrugge, Albert Visser
2011	J	`jnl`	On the Termination of Russell's Description Elimination Algorithm. Rev. Symb. Log. Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser
2011	J	`jnl`	On the ambiguation of Polish notation. Theor. Comput. Sci. Albert Visser
2011	J	`jnl`	Proof and Computation. J. Log. Comput. Sergei I. Adian, Lev D. Beklemishev, Albert Visser
2009	J	`jnl`	Cardinal Arithmetic in the Style of Baron von MüNchhausen. Rev. Symb. Log. Albert Visser
2009	J	`jnl`	Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame J. Formal Log. Albert Visser
2009	J	`jnl`	The predicative Frege hierarchy. Ann. Pure Appl. Log. Albert Visser
2008	J	`jnl`	Closed fragments of provability logics of constructive theories. J. Symb. Log. Albert Visser
2008	J	`jnl`	Pairs, sets and sequences in first-order theories. Arch. Math. Log. Albert Visser
2006	J	`jnl`	No Escape from Vardanyan's theorem. Arch. Math. Log. Albert Visser, Maartje de Jonge
2006	J	`jnl`	Predicate logics of constructive arithmetical theories. J. Symb. Log. Albert Visser
2006	J	`jnl`	Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Notre Dame J. Formal Log. Albert Visser
2005	J	`jnl`	Faith & falsity. Ann. Pure Appl. Log. Albert Visser
2005	—	`conf`	Löb's Logic Meets the µ-Calculus. Processes, Terms and Cycles Albert Visser
2005	J	`jnl`	On the limit existence principles in elementary arithmetic and Sigma Ann. Pure Appl. Log. Lev D. Beklemishev, Albert Visser
2002	J	`jnl`	Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. Giovanna D'Agostino, Albert Visser
2002	J	`jnl`	Substitutions of Sigma Ann. Pure Appl. Log. Albert Visser
2002	J	`jnl`	The Donkey and the Monoid. Dynamic Semantics with Control Elements. J. Log. Lang. Inf. Albert Visser
2001	J	`jnl`	Submodels of Kripke models. Arch. Math. Log. Albert Visser
1999	J	`jnl`	Dynamic Negation, the One and Only. J. Log. Lang. Inf. Marco Hollenberg, Albert Visser
1999	J	`jnl`	Rules and Arithmetics. Notre Dame J. Formal Log. Albert Visser
1998	J	`jnl`	Contexts in Dynamic Predicate Logic. J. Log. Lang. Inf. Albert Visser
1997	J	`jnl`	Dynamic Relation Logic Is the Logic of DPL-Relations. J. Log. Lang. Inf. Albert Visser
1997	—	`ch.`	Dynamics. Handbook of Logic and Language Reinhard Muskens, Johan van Benthem, Albert Visser
1996	B	`conf`	An Overview of Interpretability Logic. Advances in Modal Logic Albert Visser
1996	J	`jnl`	Dynamic Bracketing and Discourse Representation. Notre Dame J. Formal Log. Albert Visser, Kees Vermeulen
1995	J	`jnl`	A Course on Bimodal Provability Logic. Ann. Pure Appl. Log. Albert Visser
1995	J	`jnl`	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. Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1994	J	`jnl`	A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. Rineke Verbrugge, Albert Visser
1993	J	`jnl`	The unprovability of small inconsistency - A study of local and global interpretability. Arch. Math. Log. Albert Visser
1992	J	`jnl`	An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta J. Symb. Log. Albert Visser
1991	J	`jnl`	Explicit Fixed Points in Interpretability Logic. Stud Logica Dick de Jongh, Albert Visser
1991	J	`jnl`	On the Σ Notre Dame J. Formal Log. Albert Visser
1991	J	`jnl`	The formalization of Interpretability. Stud Logica Albert Visser
1989	J	`jnl`	Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. Notre Dame J. Formal Log. Albert Visser
1986	J	`jnl`	Finite Kripke models of HA are locally PA. Notre Dame J. Formal Log. Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen
1984	J	`jnl`	Four valued semantics and the Liar. J. Philos. Log. Albert Visser
1984	J	`jnl`	The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic. J. Philos. Log. Albert Visser
1982	J	`jnl`	On the completenes principle: A study of provability in heyting's arithmetic and extensions. Ann. Math. Log. Albert Visser