Model-Theoretic Logics

DOI10.1017/9781316717158zbMATH Open1390.03002OpenAlexW251225716MaRDI QIDQ4570949FDOQ4570949

Authors:

Publication date: 5 July 2018

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

Recommendations

• Modal logic and model theory
• scientific article; zbMATH DE number 1163388
• scientific article; zbMATH DE number 939032
• Logical structures from a model-theoretical viewpoint
• scientific article; zbMATH DE number 3249766
• scientific article; zbMATH DE number 3941493
• scientific article; zbMATH DE number 3941494
• scientific article; zbMATH DE number 53151
• Model theory
• scientific article; zbMATH DE number 5296405

zbMATH Keywords

generalized quantifierssecond-order logicinfinitary languagesprobability logicabstract model theorytopological model theorytopological logicback-and-forth methodgame quantifier

Mathematics Subject Classification ID

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

Cited In (14)

• Model theory
• Title not available (Why is that?)
• A logico-algebraic approach to the model theory of knowledge
• Title not available (Why is that?)
• Representing model theory in a type-theoretical logical framework
• Title not available (Why is that?)
• Idempotent residuated structures: Some category equivalences and their applications
• Mechanised modal model theory
• Title not available (Why is that?)
• Generalized quantification as substructural logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Model-Theoretic Logics

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