THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES
Keyword(s):
We show that the bounded fragment of first-order logic and the hybrid language with ‘downarrow’ and ‘at’ operators are equally expressive even with polyadic modalities, but that their ‘positive’ fragments are equally expressive only for unary modalities.
Keyword(s):
2005 ◽
Vol 70
(1)
◽
pp. 223-234
◽
Keyword(s):
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽
Keyword(s):
2019 ◽
Vol 29
(8)
◽
pp. 1311-1344
◽
Keyword(s):