12 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 12 cited
Relation-Changing Logics as Fragments of Hybrid Logics
Carlos Areces, Raul Fervari, Guillaume Hoffmann +1
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular…
cs.LO2010★ 1 cited
The Question of Expressiveness in the Generation of Referring Expressions
Carlos Areces, Santiago Figueira, Daniel Gorín
We study the problem of generating referring expressions modulo different notions of expressive power. We define the notion of $\+L$-referring expression, for a formal language $\+…