The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Albert Visser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 0-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 Sigma10 - 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 Delta0+Omega1 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 Sigma10-Conservativity of Sigma10-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]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002