Immediate Impact
3 standout
Citing Papers
The Logic of Conventional Implicatures
2004 Standout
Modal Logic
2001 Standout
Works of Albert Visser being referenced
A descending hierarchy of reflection principles
1988
Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas
1985
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Albert Visser | 593 | 507 | 77 | 94 | 86 | 717 | |
| Jouko Väänánen | 557 | 527 | 154 | 79 | 99 | 813 | |
| Kosta Došen | 488 | 425 | 92 | 48 | 66 | 620 | |
| Jonathan P. Seldin | 577 | 445 | 19 | 27 | 23 | 660 | |
| Michael Beeson | 424 | 513 | 201 | 56 | 44 | 806 | |
| Haim Gaifman | 342 | 288 | 109 | 102 | 37 | 678 | |
| Walter Carnielli | 564 | 456 | 16 | 84 | 67 | 724 | |
| Lawrence S. Moss | 643 | 393 | 38 | 12 | 67 | 735 | |
| Jeremy Avigad | 258 | 334 | 144 | 56 | 71 | 589 | |
| Harvey Friedman | 245 | 423 | 233 | 86 | 42 | 585 | |
| Giovanni Sambin | 552 | 453 | 100 | 27 | 31 | 691 |
All Works
Login with ORCID to disown or claim papers
Loading papers...