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

abstract model theoryback-and-forth methodgame quantifiergeneralized quantifiersinfinitary languagesprobability logicsecond-order logictopological logictopological model theory

Mathematics Subject Classification ID

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) Decidability of theories and sets of sentences (03B25) Probability and inductive logic (03B48) Interpolation, preservation, definability (03C40) Properties of classes of models (03C52) Model-theoretic algebra (03C60) Logic on admissible sets (03C70) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Abstract model theory (03C95)

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

(19)

• A logico-algebraic approach to the model theory of knowledge
• Mechanised modal model theory
• Model theory
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• scientific article; zbMATH DE number 5296405 (Why is no real title available?)
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 3928978 (Why is no real title available?)
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• scientific article; zbMATH DE number 1163485 (Why is no real title available?)
• scientific article; zbMATH DE number 823598 (Why is no real title available?)
• Idempotent residuated structures: Some category equivalences and their applications
• scientific article; zbMATH DE number 5064932 (Why is no real title available?)
• Generalized quantification as substructural logic
• Representing model theory in a type-theoretical logical framework
• Craig interpolation for decidable first-order fragments
• Upward Löwenheim-Skolem-Tarski numbers for abstract logics
• Bounded symbiosis and upwards reflection
• Logics from ultrafilters
• On the absoluteness of generalized quantifiers with certain closure properties

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)