6 citations · 16 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 2 cited
Elementary analytic functions in
Emil Jeřábek
It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, and their inverse functions) are computable in the wea…
cs.LO2019★ 2 cited
Rules with parameters in modal logic II
Emil Jeřábek
We analyze the computational complexity of admissibility and unifiability with parameters in transitive modal logics. The class of cluster-extensible (clx) logics was introduced in…