scientific article; zbMATH DE number 5316601

MaRDI QIDQ3520836zbMATH OpenFDO

Authors Marta García-Matos, Jouko Väänänen

Publication date 26 August 2008

zbMATH Keywords

abstract model theorymodel-theoretic logicuniversal logic

Mathematics Subject Classification ID

Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 2196607
• scientific article; zbMATH DE number 2196608
• scientific article; zbMATH DE number 5316602
• A generalization of abstract model theory
• Model-Theoretic Logics
• Abstract modal logics
• scientific article; zbMATH DE number 524077
• scientific article; zbMATH DE number 1960346
• Modal logic and model theory
• scientific article; zbMATH DE number 3928978

Cited in

(8)

• Universal abstract consistency class and universal refutation
• Abstract logical constants
• On the universality of atomic and molecular logics via protologics
• A shared framework for consequence operations and abstract model theory
• Universal models and definability
• Applications of model theory to the study of ‘soft’ universals in language
• Representing model theory in a type-theoretical logical framework
• Comparing expressiveness of logics defined within different classes of models

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 Q3520836)