Model-Theoretic Logics

DOI10.1017/9781316717158MaRDI QIDQ4570949zbMATH OpenOpenAlexFDO

Authors

Publication date 5 July 2018

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

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)

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

Cited in

(14)

• Model theory
• scientific article; zbMATH DE number 5296405 (Why is no real title available?)
• A logico-algebraic approach to the model theory of knowledge
• Representing model theory in a type-theoretical logical framework
• scientific article; zbMATH DE number 823598 (Why is no real title available?)
• scientific article; zbMATH DE number 3928978 (Why is no real title available?)
• Idempotent residuated structures: Some category equivalences and their applications
• Mechanised modal model theory
• scientific article; zbMATH DE number 5064932 (Why is no real title available?)
• Generalized quantification as substructural logic
• scientific article; zbMATH DE number 1163485 (Why is no real title available?)
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)

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)