2008 |
20 | EE | Albert Visser:
Pairs, sets and sequences in first-order theories.
Arch. Math. Log. 47(4): 299-326 (2008) |
2006 |
19 | EE | Albert Visser,
Maartje de Jonge:
No Escape from Vardanyan's theorem.
Arch. Math. Log. 45(5): 539-554 (2006) |
2005 |
18 | EE | Albert Visser:
Löb's Logic Meets the µ-Calculus.
Processes, Terms and Cycles 2005: 14-25 |
17 | EE | Albert Visser:
Faith & falsity.
Ann. Pure Appl. Logic 131(1-3): 103-131 (2005) |
16 | EE | 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 | EE | 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 | EE | 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) |