![]() | ![]() |
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) |