Accepted Manuscript
Existential second-order logic and modal logic with quantified accessibility relations

Lauri Hella, Antti Kuusisto


PII:       S0890-5401(16)00004-3
DOI:       http://dx.doi.org/10.1016/j.ic.2016.01.003
Reference:    YINCO 4150
To appear in:   Information and Computation
Received date:  17 July 2013
Revised date:   4 July 2015

Please cite this article in press as: L. Hella, A. Kuusisto, Existential second-order logic and modal logic with quantified accessibility
relations, ...