Complete Problems for Higher Order Logics

DOI10.1007/11874683_25zbMath1225.68093OpenAlexW1493764813MaRDI QIDQ3613351

Lauri Hella, Jose Maria Turull Torres

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_25

zbMATH Keywords

complete problemshigher-order logicsLindström quantifiers

Mathematics Subject Classification ID

Descriptive complexity and finite models (68Q19)

Related Items (1)

Extensions of MSO and the monadic counting hierarchy

This page was built for publication: Complete Problems for Higher Order Logics