No CrossRef data available.
Article contents
THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES
Published online by Cambridge University Press: 22 March 2010
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010