scientific article; zbMATH DE number 1453076

zbMath0964.03038MaRDI QIDQ4955349

Jouko Väänänen

Publication date: 1 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite modelsdefinabilitygeneralized quantifiersdescriptive complexity theoryPTIME properties

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (5)

Dependence logic with a majority quantifier ⋮ A characterization of definability of second-order generalized quantifiers with applications to non-definability ⋮ First-order definable counting-only queries ⋮ Combining Nonmonotonic Knowledge Bases with External Sources ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

This page was built for publication: