scientific article; zbMATH DE number 3672276

MaRDI QIDQ3869332zbMATHFDO

Authors

Publication date 1979

zbMATH Keywords

semanticstree languagesgame quantifier languagesinfinitely deep languagessyntactic treesgame theoretic formal languages

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95) Set-theoretic model theory (03C55) Other infinitary logic (03C75)

Cited in

(2)

• Model theoretic results for infinitely deep languages
• Logical operations and iterated infinitely deep languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3869332)