35 citations · 115 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.LO2013★ 4 cited
Cluster expansion and the boxdot conjecture
Emil Jeřábek
The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjectu…
cs.LO2013★ 10 cited
Rules with parameters in modal logic I
Emil Jeřábek
We study admissibility of inference rules and unification with parameters in transitive modal logics (extensions of K4), in particular we generalize various results on parameter-fr…