Albert Visser

发表

Classification Domains and Information Links: A Brief Survey

Jan van Eijck, Albert Visser, 1994 .

Interpretability degrees of finitely axiomatized sequential theories

Albert Visser, 2014, Arch. Math. Log..

Finality regained: A coalgebraic study of Scott-sets and multisets

Albert Visser, Giovanna D'Agostino, A. Visser, 1999, Arch. Math. Log..

A small reflection principle for bounded arithmetic

Rineke Verbrugge, Albert Visser, A. Visser, 1994, Journal of Symbolic Logic.

From bounded structural rules to linear logic modalities

Jan van Eijck, Vincent van Oostrom, Albert Visser, 2016 .

Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency

Albert Visser, A. Visser, 1986, Notre Dame J. Formal Log..

The Second Incompleteness Theorem and Bounded Interpretations

Albert Visser, 2012, Stud Logica.

From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference

Albert Visser, A. Visser, 2018, J. Log. Comput..

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994

Erwin Engeler, George Boolos, Albert Visser, 1995, Ann. Pure Appl. Log..

Uniform Density in Lindenbaum Algebras

Albert Visser, V. Yu. Shavrukov, A. Visser, 2014, Notre Dame J. Formal Log..

A Roadmap of Some Two-Dimensional Logics

Jan van Eijck, Albert Visser, 1994 .

A very slow growing hierarchy for

Jan van Eijck, Vincent van Oostrom, Albert Visser, 2016 .

Growing Commas. A Study of Sequentiality and Concatenation

Albert Visser, 2009, Notre Dame J. Formal Log..

Process Algebra and Dynamic Logic

Jan van Eijck, Albert Visser, 1994 .

A Course on Bimodal Provability Logic

Albert Visser, A. Visser, 1987, Ann. Pure Appl. Log..

Hume's Principle, Beginnings

Albert Visser, 2011, Rev. Symb. Log..

Pairs, sets and sequences in first-order theories

Albert Visser, 2008, Arch. Math. Log..

Proof and Computation

Albert Visser, Lev D. Beklemishev, Sergei I. Adian, 2011, J. Log. Comput..

ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM

Vincent van Oostrom, Albert Visser, Clemens Grabmayer, 2009, The Review of Symbolic Logic.

Rules and Arithmetics

Albert Visser, A. Visser, 1998, Notre Dame J. Formal Log..

Dynamic Bracketing and Discourse Representation

Albert Visser, Kees Vermeulen, 1996, Notre Dame J. Formal Log..

Löb's Logic Meets the µ-Calculus

Albert Visser, 2005, Processes, Terms and Cycles.

Logic and Information Flow

Jan van Eijck, Albert Visser, A. Visser, 1994 .

The unprovability of small inconsistency

Albert Visser, 1993, Arch. Math. Log..

No Escape from Vardanyan's theorem

Albert Visser, Maartje de Jonge, 2006, Arch. Math. Log..

Vaught's Theorem on Axiomatizability by a Scheme

Albert Visser, A. Visser, 2010, The Bulletin of Symbolic Logic.

Propositional Logic for Presuppositions Lecture Notes for Dynamic Semantics Class of 06/07

Albert Visser, A. Visser, 2006 .

The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic

Albert Visser, A. Visser, 1984, J. Philos. Log..

The predicative Frege hierarchy

Albert Visser, 2009, Ann. Pure Appl. Log..

ON A QUESTION OF KRAJEWSKI’S

Fedor Pakhomov, Albert Visser, A. Visser, 2017, The Journal of Symbolic Logic.

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic

Albert Visser, 2006, Notre Dame J. Formal Log..

Problems in the Logic of Provability

Albert Visser, Lev D. Beklemishev, A. Visser, 2006 .

NNIL, A study in intuitionistic propositional logic

Johan van Benthem, Albert Visser, Dick de Jongh, 1994 .

Intermediate Logics and the de Jongh property

Rineke Verbrugge, Albert Visser, Dick de Jongh, 2009, Arch. Math. Log..

Actions under presuppositions

Albert Visser, 1992 .

Contexts in Dynamic Predicate Logic

Albert Visser, 1998, J. Log. Lang. Inf..

Can We Make the Second Incompleteness Theorem Coordinate Free?

Albert Visser, 2011, J. Log. Comput..

Finite Kripke models of HA are locally PA

Albert Visser, Erik C. W. Krabbe, Hans Mulder, 1986, Notre Dame J. Formal Log..

Dynamic Negation, the One and Only

Albert Visser, Marco Hollenberg, 1999, J. Log. Lang. Inf..

The formalization of Interpretability

Albert Visser, A. Visser, 1991, Stud Logica.

Case based learning: towards a computer tool for learning with cases

Albert Visser, 1997 .

A Note on Dynamic Arrow Logic

Jan van Eijck, Albert Visser, 1994 .

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

Albert Visser, A. Visser, 2014, Math. Log. Q..

Faith & falsity

Albert Visser, 2005, Ann. Pure Appl. Log..

On Q

Albert Visser, A. Visser, 2017, Soft Comput..

SELF-REFERENCE IN ARITHMETIC II

Albert Visser, Volker Halbach, A. Visser, 2014, The Review of Symbolic Logic.

Computers in education: added value leading towards better quality

Albert Visser, 1995 .

SELF-REFERENCE IN ARITHMETIC I

Albert Visser, Volker Halbach, A. Visser, 2014, The Review of Symbolic Logic.

On the completenes principle: A study of provability in heyting's arithmetic and extensions

Albert Visser, A. Visser, 1982, Ann. Math. Log..

On the Σ10-Conservativity of Σ10-Completeness

Albert Visser, 1991, Notre Dame J. Formal Log..

The Arithmetics of a Theory

Albert Visser, 2015, Notre Dame J. Formal Log..

CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN

Albert Visser, A. Visser, 2009, The Review of Symbolic Logic.

Dynamic Relation Logic Is the Logic of DPL-Relations

Albert Visser, 1997, J. Log. Lang. Inf..

An Overview of Interpretability Logic

Albert Visser, A. Visser, 1997, Advances in Modal Logic.

Transductions in arithmetic

Albert Visser, A. Visser, 2016, Ann. Pure Appl. Log..

An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP

Albert Visser, 1992, J. Symb. Log..

Lewisian Fixed Points I: Two Incomparable Constructions pdf

Tadeusz Litak, Albert Visser, A. Visser, 2019, ArXiv.

Interpretability suprema in Peano Arithmetic

Albert Visser, Paula Henk, A. Visser, 2016, Arch. Math. Log..

Predicate logics of constructive arithmetical theories

Albert Visser, 2006, J. Symb. Log..

On the ambiguation of Polish notation

Albert Visser, A. Visser, 2001, Theor. Comput. Sci..

Lewis meets Brouwer: constructive strict implication pdf

Tadeusz Litak, Albert Visser, A. Visser, 2017, ArXiv.

Submodels of Kripke models

Albert Visser, 2001, Arch. Math. Log..

Smoryński Craig. Modal logic and self-reference. Handbook of philosophical logic , Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495.

Albert Visser, 1989 .

Provability logic and the completeness principle

Albert Visser, Jetze Zoethout, A. Visser, 2018, Ann. Pure Appl. Log..

Extension and Interpretability

Albert Visser, 2015 .

Some New Landmarks on the Roadmap of Two Dimensional Logics

Jan van Eijck, Albert Visser, 1994 .

Substitutions of Sigma10 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic

Albert Visser, 2002, Ann. Pure Appl. Log..

Four valued semantics and the Liar

Albert Visser, A. Visser, 1984, J. Philos. Log..

Sharing time among branches

Albert Visser, 2017 .

Closed fragments of provability logics of constructive theories

Albert Visser, 2008, J. Symb. Log..

The Donkey and the Monoid. Dynamic Semantics with Control Elements

Albert Visser, 2002, J. Log. Lang. Inf..

Logical topologies and semantic completeness

Jan van Eijck, Valentin Goranko, Vincent van Oostrom, 2016 .

First order logics of individual theories

Jan van Eijck, Vincent van Oostrom, Albert Visser, 2016 .

Van Sociale software naar een repository van herbruikbare leerobjecten. DU 5127-03

Albert Visser, Pieter van Waesberge, Herman van van Lieshout, 2007 .

The small‐is‐very‐small principle

Albert Visser, A. Visser, 2018, Math. Log. Q..

Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Utrecht, Netherlands, August 1-6, 1999

Vincent van Oostrom, Albert Visser, J. van Eijck, 2004 .

How Logic Emerges from the Dynamics of Information

Jan van Eijck, Albert Visser, 1994 .

Explicit Fixed Points in Interpretability Logic

Albert Visser, Dick de Jongh, A. Visser, 1989, Stud Logica.

Enayat Theories

Albert Visser, 2021, FLAP.

Cyclic Henkin Logic

Albert Visser, 2021 .

Friedman-reflexivity: interpreters as consistoids

Albert Visser, 2021 .

On Guaspari's problem about partially conservative sentences

Albert Visser, V. Yu. Shavrukov, Taishi Kurahashi, 2022, Annals of Pure and Applied Logic.

Finitely Axiomatized Theories Lack Self-Comprehension

Fedor Pakhomov, Albert Visser, 2021 .

The absorption law

Albert Visser, 2021, Arch. Math. Log..

On the Σ 1 0 -Conservativity of Σ 1 0 -Completeness.

Albert Visser, 1991 .

Interpretability Logic

Albert Visser, A. Visser, 1990 .

An inside view of EXP or The closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP

Albert Visser, 1989 .

A propositional logic with explicit fixed points

Albert Visser, A. Visser, 1981 .

Submodels of Kripke Models

Albert Visser, Rosalie Iemhoff, 2002 .

Relational validity & dynamic predicate logic

Albert Visser, 1995 .

How to Derive Principles of Interpretability Logic A Toolkit

Albert Visser, Joost J. Joosten, 2004 .

Categories of theories and interpretations

Albert Visser, A. Visser, 2004 .

Logic and Control: How They Determine the Behaviour of Presuppositions

Jan van Eijck, Albert Visser, A. Visser, 1994 .

Concepts of Reduction in Logic and Philosophy || The Interpretability Logic of All Reasonable Arithmetical Theories: The New Conjecture

Albert Visser, Joost J. Joosten, 1999 .

The Interpretation Existence Lemma

Albert Visser, A. Visser, 2017 .

When Bi-Interpretability Implies Synonymy

Albert Visser, Harvey M. Friedman, 2014 .

Embeddings of Heyting algebras

Albert Visser, Dick de Jongh, 1993 .

Witnessed Years: essays in Honour of Petr Hajek

Rineke Verbrugge, Albert Visser, Dick de Jongh, 2009 .

Faith & Falsity. A study of faithful interpretations and false Σ01-sentences

Albert Visser, A. Visser, 2002 .

Semantics and the Liar Paradox

Albert Visser, A. Visser, 2002 .

The intuitionistic arithmetical hierarchy

Jan van Eijck, Vincent van Oostrom, Albert Visser, 2016 .

Group actions and countable models

Jan van Eijck, Greg Hjorth, Vincent van Oostrom, 2016 .

Preliminary notes on interpretability logic

Albert Visser, A. Visser, 1988 .

The Interpretability of Inconsistency: Feferman's Theorem and Related Results

Albert Visser, A. Visser, 2014 .

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}$

Albert Visser, 1992 .

ω-Models of finite set theory

James H. Schmerl, Albert Visser, Ali Enayat, 2008 .

Context modification in action

Albert Visser, 2003 .

Cardinal Arithmetic in Weak Theories

Albert Visser, A. Visser, 2008 .

Interpretations over Heyting's Arithmetic

Albert Visser, 1995 .

A descending hierarchy of reflection principles

Albert Visser, A. Visser, 1988 .