| |
| 2008 | ||
|---|---|---|
| 7 | EE | Emil Jerábek: Independent Bases of Admissible Rules. Logic Journal of the IGPL 16(3): 249-267 (2008) |
| 2007 | ||
| 6 | EE | Emil Jerábek: Complexity of admissible rules. Arch. Math. Log. 46(2): 73-92 (2007) |
| 5 | EE | Emil Jerábek: On Independence of Variants of the Weak Pigeonhole Principle. J. Log. Comput. 17(3): 587-604 (2007) |
| 2006 | ||
| 4 | EE | Emil Jerábek: Frege systems for extensible modal logics. Ann. Pure Appl. Logic 142(1-3): 366-379 (2006) |
| 3 | EE | Emil Jerábek: The strength of sharply bounded induction. Math. Log. Q. 52(6): 613-624 (2006) |
| 2005 | ||
| 2 | EE | Emil Jerábek: Admissible Rules of Modal Logics. J. Log. Comput. 15(4): 411-431 (2005) |
| 2004 | ||
| 1 | EE | Emil Jerábek: Dual weak pigeonhole principle, Boolean complexity, and derandomization. Ann. Pure Appl. Logic 129(1-3): 1-37 (2004) |