7 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Anantha Padmanabha, R. Ramanujam
Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $\exists y. \forall x. (…