 | 2008 |
|---|
| 20 |       | Albert Visser:
Pairs, sets and sequences in first-order theories.
Arch. Math. Log. 47(4): 299-326 (2008) |
| 2006 |
|---|
| 19 | | Albert Visser,
Maartje de Jonge:
No Escape from Vardanyan's theorem.
Arch. Math. Log. 45(5): 539-554 (2006) |
| 2005 |
|---|
| 18 | | Albert Visser:
Löb's Logic Meets the µ-Calculus.
Processes, Terms and Cycles 2005: 14-25 |
| 17 | | Albert Visser:
Faith & falsity.
Ann. Pure Appl. Logic 131(1-3): 103-131 (2005) |
| 16 | | Lev D. Beklemishev,
Albert Visser:
On the limit existence principles in elementary arithmetic and Sigma n 0-consequences of theories.
Ann. Pure Appl. Logic 136(1-2): 56-74 (2005) |
| 2002 |
|---|
| 15 |  | Albert Visser:
Substitutions of Sigma10 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.
Ann. Pure Appl. Logic 114(1-3): 227-271 (2002) |
| 14 | | Giovanna D'Agostino,
Albert Visser:
Finality regained: A coalgebraic study of Scott-sets and multisets.
Arch. Math. Log. 41(3): 267-298 (2002) |
| 13 | | Albert Visser:
The Donkey and the Monoid. Dynamic Semantics with Control Elements.
Journal of Logic, Language and Information 11(1): 107-131 (2002) |
| 2001 |
|---|
| 12 | | Albert Visser:
Submodels of Kripke models.
Arch. Math. Log. 40(4): 277-295 (2001) |
| 1999 |
|---|
| 11 | | Marco Hollenberg,
Albert Visser:
Dynamic Negation, the One and Only.
Journal of Logic, Language and Information 8(2): 137-141 (1999) |
| 10 | | Albert Visser:
Rules and Arithmetics.
Notre Dame Journal of Formal Logic 40(1): 116-140 (1999) |
| 1998 |
|---|
| 9 | | Albert Visser:
Contexts in Dynamic Predicate Logic.
Journal of Logic, Language and Information 7(1): 21-52 (1998) |
| 1997 |
|---|
| 8 | | Albert Visser:
Dynamic Relation Logic Is the Logic of DPL-Relations.
Journal of Logic, Language and Information 6(4): 441-452 (1997) |
| 1996 |
|---|
| 7 | | Albert Visser,
Kees Vermeulen:
Dynamic Bracketing and Discourse Representation.
Notre Dame Journal of Formal Logic 37(2): 321-365 (1996) |
| 1995 |
|---|
| 6 | | Albert Visser:
A Course on Bimodal Provability Logic.
Ann. Pure Appl. Logic 73(1): 109-142 (1995) |
| 5 | | 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. Logic 75(1-2): 1 (1995) |
| 1994 |
|---|
| 4 | | Rineke Verbrugge,
Albert Visser:
A Small Reflection Principle for Bounded Arithmetic.
J. Symb. Log. 59(3): 785-812 (1994) |
| 1992 |
|---|
| 3 | | Albert Visser:
An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP.
J. Symb. Log. 57(1): 131-165 (1992) |
| 1991 |
|---|
| 2 | | Albert Visser:
On the Sigma10-Conservativity of Sigma10-Completeness.
Notre Dame Journal of Formal Logic 32(4): 554-561 (1991) |
| 1989 |
|---|
| 1 | | Albert Visser:
Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency.
Notre Dame Journal of Formal Logic 30(2): 161-196 (1989) |
