Search the dblp DataBase

Publications of Author

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