Model-Theoretic Logics

From MaRDI portal

Publication:4570949

Jump to:navigation, search

DOI10.1017/9781316717158zbMath1390.03002OpenAlexW251225716MaRDI QIDQ4570949

No author found.

Publication date: 5 July 2018

Full work available at URL: https://doi.org/10.1017/9781316717158

zbMATH Keywords

second-order logic probability logic generalized quantifiers infinitary languages abstract model theory topological model theory topological logic back-and-forth method game quantifier

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Second- and higher-order model theory (03C85) Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70) Abstract model theory (03C95)

Related Items (2)

Generalized quantification as substructural logic ⋮ Idempotent residuated structures: Some category equivalences and their applications

This page was built for publication: Model-Theoretic Logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4570949&oldid=18710749"