Omitting Types in Fragments and Extensions of First Order Logic (Q6043005)
From MaRDI portal
scientific article; zbMATH DE number 7682097
Language | Label | Description | Also known as |
---|---|---|---|
English | Omitting Types in Fragments and Extensions of First Order Logic |
scientific article; zbMATH DE number 7682097 |
Statements
Omitting Types in Fragments and Extensions of First Order Logic (English)
0 references
4 May 2023
0 references
algebraic logic
0 references
multimodal logic
0 references
omitting types
0 references
completions
0 references
0 references