Expressive power 4 Second-order logic 4 Computation theory 2 Computer circuits 2 Computer networks 2 Existential second-order logic 2 Flattening operator 2 Formal logic 2 Imperfect information 2 Imperfect information logic 2 Independence friendly logic 2 Lógica de segundo orden 2 Non-trivial 2 Prenex normal forms 2 Second order logic 2 Systems science 2 consecuencia lógica 2 infinitary logic 2 logical consequence 2 lógicas infinitarias 2 second-order logic 2 set theory 2 teoría de conjuntos 2