Jeřábek, Emil On the proof complexity of logics of bounded branching. (English) Zbl 1516.03022 Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023). Reviewer: Ariel Germán Fernández (Buenos Aires) MSC: 03F20 03B45 03B55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Rules with parameters in modal logic. II. (English) Zbl 1472.03016 Ann. Pure Appl. Logic 171, No. 10, Article ID 102829, 59 p. (2020). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 03B45 68Q17 68Q15 03D15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Rigid models of Presburger arithmetic. (English) Zbl 1521.03225 Math. Log. Q. 65, No. 1, 108-115 (2019). MSC: 03F30 03C62 03H15 06F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Proof complexity of intuitionistic implicational formulas. (English) Zbl 1422.03124 Ann. Pure Appl. Logic 168, No. 1, 150-190 (2017). MSC: 03F20 03B20 03B55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Cluster expansion and the boxdot conjecture. (English) Zbl 1432.03032 Math. Log. Q. 62, No. 6, 608-614 (2016). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Rules with parameters in modal logic. I. (English) Zbl 1408.03015 Ann. Pure Appl. Logic 166, No. 9, 881-933 (2015). MSC: 03B45 03B55 08B20 68T15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Sequence encoding without induction. (English) Zbl 1248.03079 Math. Log. Q. 58, No. 3, 244-248 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Jeřábek, Emil Canonical rules. (English) Zbl 1186.03045 J. Symb. Log. 74, No. 4, 1171-1205 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03B45 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Jeřábek, Emil Substitution Frege and extended Frege proof systems in non-classical logics. (English) Zbl 1173.03044 Ann. Pure Appl. Logic 159, No. 1-2, 1-48 (2009). Reviewer: G. E. Mints (Stanford) MSC: 03F20 03B45 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Jeřábek, Emil Complexity of admissible rules. (English) Zbl 1115.03010 Arch. Math. Logic 46, No. 2, 73-92 (2007). Reviewer: G. E. Mints (Stanford) MSC: 03B45 03B55 03D15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Jeřábek, Emil Frege systems for extensible modal logics. (English) Zbl 1101.03038 Ann. Pure Appl. Logic 142, No. 1-3, 366-379 (2006). Reviewer: G. E. Mints (Stanford) MSC: 03F20 03B45 × Cite Format Result Cite Review PDF Full Text: DOI