DBLP: Albert Visser

	2012
j31		Albert Visser: Vaught's Theorem on Axiomatizability by a Scheme. Bulletin of Symbolic Logic 18(3): 382-402 (2012)
j30		Albert Visser: A Tractarian Universe. J. Philosophical Logic 41(3): 519-545 (2012)
j29		Albert Visser: The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100(1-2): 399-418 (2012)
	2011
j28		Dick de Jongh, Rineke Verbrugge, Albert Visser: Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011)
j27		Sergei I. Adian, Lev D. Beklemishev, Albert Visser: Proof and Computation. J. Log. Comput. 21(4): 541-542 (2011)
j26		Albert Visser: Can We Make the Second Incompleteness Theorem Coordinate Free? J. Log. Comput. 21(4): 543-560 (2011)
j25		Albert Visser: On the ambiguation of Polish notation. Theor. Comput. Sci. 412(28): 3404-3411 (2011)
	2009
j24		Albert Visser: The predicative Frege hierarchy. Ann. Pure Appl. Logic 160(2): 129-153 (2009)
j23		Albert Visser: Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame Journal of Formal Logic 50(1): 61-85 (2009)
	2008
j22		Albert Visser: Pairs, sets and sequences in first-order theories. Arch. Math. Log. 47(4): 299-326 (2008)
j21		Albert Visser: Closed fragments of provability logics of constructive theories. J. Symb. Log. 73(3): 1081-1096 (2008)
	2006
j20		Albert Visser, Maartje de Jonge: No Escape from Vardanyan's theorem. Arch. Math. Log. 45(5): 539-554 (2006)
j19		Albert Visser: Predicate logics of constructive arithmetical theories. J. Symb. Log. 71(4): 1311-1326 (2006)
j18		Albert Visser: Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Notre Dame Journal of Formal Logic 47(3): 299-309 (2006)
	2005
j17		Albert Visser: Faith & falsity. Ann. Pure Appl. Logic 131(1-3): 103-131 (2005)
j16		Lev D. Beklemishev, Albert Visser: On the limit existence principles in elementary arithmetic and Sigma _n ⁰-consequences of theories. Ann. Pure Appl. Logic 136(1-2): 56-74 (2005)
c1		Albert Visser: Löb's Logic Meets the µ-Calculus. Processes, Terms and Cycles 2005: 14-25
	2002
j15		Giovanna D'Agostino, Albert Visser: Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. 41(3): 267-298 (2002)
j14		Albert Visser: Substitutions of Sigma₁⁰ - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Logic 114(1-3): 227-271 (2002)
j13		Albert Visser: The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11(1): 107-131 (2002)
	2001
j12		Albert Visser: Submodels of Kripke models. Arch. Math. Log. 40(4): 277-295 (2001)
	1999
j11		Marco Hollenberg, Albert Visser: Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8(2): 137-141 (1999)
j10		Albert Visser: Rules and Arithmetics. Notre Dame Journal of Formal Logic 40(1): 116-140 (1999)
	1998
j9		Albert Visser: Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7(1): 21-52 (1998)
	1997
j8		Albert Visser: Dynamic Relation Logic Is the Logic of DPL-Relations. Journal of Logic, Language and Information 6(4): 441-452 (1997)
	1996
j7		Albert Visser, Kees Vermeulen: Dynamic Bracketing and Discourse Representation. Notre Dame Journal of Formal Logic 37(2): 321-365 (1996)
	1995
j6		Albert Visser: A Course on Bimodal Provability Logic. Ann. Pure Appl. Logic 73(1): 109-142 (1995)
j5		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
j4		Rineke Verbrugge, Albert Visser: A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59(3): 785-812 (1994)
	1992
j3		Albert Visser: An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta₀+Omega₁ with a Propositional Constant for EXP. J. Symb. Log. 57(1): 131-165 (1992)
	1991
j2		Albert Visser: On the Sigma₁⁰-Conservativity of Sigma₁⁰-Completeness. Notre Dame Journal of Formal Logic 32(4): 554-561 (1991)
	1989
j1		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)

2012

j31

Albert Visser: Vaught's Theorem on Axiomatizability by a Scheme. Bulletin of Symbolic Logic 18(3): 382-402 (2012)

j30

Albert Visser: A Tractarian Universe. J. Philosophical Logic 41(3): 519-545 (2012)

j29

Albert Visser: The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100(1-2): 399-418 (2012)

2011

j28

Dick de Jongh, Rineke Verbrugge, Albert Visser: Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011)

j27

Sergei I. Adian, Lev D. Beklemishev, Albert Visser: Proof and Computation. J. Log. Comput. 21(4): 541-542 (2011)

j26

Albert Visser: Can We Make the Second Incompleteness Theorem Coordinate Free? J. Log. Comput. 21(4): 543-560 (2011)

j25

Albert Visser: On the ambiguation of Polish notation. Theor. Comput. Sci. 412(28): 3404-3411 (2011)

2009

j24

Albert Visser: The predicative Frege hierarchy. Ann. Pure Appl. Logic 160(2): 129-153 (2009)

j23

Albert Visser: Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame Journal of Formal Logic 50(1): 61-85 (2009)

2008

j22

Albert Visser: Pairs, sets and sequences in first-order theories. Arch. Math. Log. 47(4): 299-326 (2008)

j21

Albert Visser: Closed fragments of provability logics of constructive theories. J. Symb. Log. 73(3): 1081-1096 (2008)

2006

j20

Albert Visser, Maartje de Jonge: No Escape from Vardanyan's theorem. Arch. Math. Log. 45(5): 539-554 (2006)

j19

Albert Visser: Predicate logics of constructive arithmetical theories. J. Symb. Log. 71(4): 1311-1326 (2006)

j18

Albert Visser: Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Notre Dame Journal of Formal Logic 47(3): 299-309 (2006)

2005

j17

Albert Visser: Faith & falsity. Ann. Pure Appl. Logic 131(1-3): 103-131 (2005)

j16

Lev D. Beklemishev, Albert Visser: On the limit existence principles in elementary arithmetic and Sigma _n ⁰-consequences of theories. Ann. Pure Appl. Logic 136(1-2): 56-74 (2005)

Albert Visser: Löb's Logic Meets the µ-Calculus. Processes, Terms and Cycles 2005: 14-25

2002

j15

Giovanna D'Agostino, Albert Visser: Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. 41(3): 267-298 (2002)

j14

Albert Visser: Substitutions of Sigma₁⁰ - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Logic 114(1-3): 227-271 (2002)

j13

Albert Visser: The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11(1): 107-131 (2002)

2001

j12

Albert Visser: Submodels of Kripke models. Arch. Math. Log. 40(4): 277-295 (2001)

1999

j11

Marco Hollenberg, Albert Visser: Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8(2): 137-141 (1999)

j10

Albert Visser: Rules and Arithmetics. Notre Dame Journal of Formal Logic 40(1): 116-140 (1999)

1998

Albert Visser: Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7(1): 21-52 (1998)

1997

Albert Visser: Dynamic Relation Logic Is the Logic of DPL-Relations. Journal of Logic, Language and Information 6(4): 441-452 (1997)

1996

Albert Visser, Kees Vermeulen: Dynamic Bracketing and Discourse Representation. Notre Dame Journal of Formal Logic 37(2): 321-365 (1996)

1995

Albert Visser: A Course on Bimodal Provability Logic. Ann. Pure Appl. Logic 73(1): 109-142 (1995)

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

Rineke Verbrugge, Albert Visser: A Small Reflection Principle for Bounded Arithmetic. J. Symb. Log. 59(3): 785-812 (1994)

1992

Albert Visser: An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta₀+Omega₁ with a Propositional Constant for EXP. J. Symb. Log. 57(1): 131-165 (1992)

1991

Albert Visser: On the Sigma₁⁰-Conservativity of Sigma₁⁰-Completeness. Notre Dame Journal of Formal Logic 32(4): 554-561 (1991)

1989

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)

1	Sergei I. Adian	[j27]
2	Sergei N. Artëmov	[j5]
3	Lev D. Beklemishev	[j27] [j16]
4	George Boolos	[j5]
5	Giovanna D'Agostino	[j15]
6	Erwin Engeler	[j5]
7	Solomon Feferman	[j5]
8	Marco Hollenberg	[j11]
9	Maartje de Jonge	[j20]
10	Dick de Jongh (Dick De Jongh)	[j28]
11	Gerhard Jäger	[j5]
12	Rineke Verbrugge (L. C. Verbrugge)	[j28] [j4]
13	Kees Vermeulen	[j7]

Albert Visser

Coauthor Index