3 research outputs found
A Restricted Second Order Logic for Finite Structures
AbstractWe introduce a restricted version of second order logic SOωin which the second order quantifiers range over relations that are closed under the equivalence relation ≡kofkvariable equivalence, for somek. This restricted second order logic is an effective fragment of the infinitary logicLω∞ω, but it differs from other such fragments in that it is not based on a fixed point logic. We explore the relationship of SOωwith fixed point logics, showing that its inclusion relations with these logics are equivalent to problems in complexity theory. We also look at the expressibility of NP-complete problems in this logic
Descriptive complexity for pictures languages (extended abstract)
This paper deals with descriptive complexity of picture languages of any
dimension by syntactical fragments of existential second-order logic.
- We uniformly generalize to any dimension the characterization by
Giammarresi et al. \cite{GRST96} of the class of \emph{recognizable} picture
languages in existential monadic second-order logic. - We state several logical
characterizations of the class of picture languages recognized in linear time
on nondeterministic cellular automata of any dimension. They are the first
machine-independent characterizations of complexity classes of cellular
automata.
Our characterizations are essentially deduced from normalization results we
prove for first-order and existential second-order logics over pictures. They
are obtained in a general and uniform framework that allows to extend them to
other "regular" structures. Finally, we describe some hierarchy results that
show the optimality of our logical characterizations and delineate their
limits.Comment: 33 pages - Submited to Lics 201