Sayed Ahmed, Tarek Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. (English) Zbl 1486.03121 J. Appl. Non-Class. Log. 30, No. 3, 223-271 (2020). MSC: 03G15 03B45 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, J. Appl. Non-Class. Log. 30, No. 3, 223--271 (2020; Zbl 1486.03121) Full Text: DOI
Ahmed, Tarek Sayed Varying interpolation and amalgamation in polyadic MV-algebras. (English) Zbl 1398.06009 J. Appl. Non-Class. Log. 25, No. 2, 140-192 (2015). MSC: 06D35 03G15 03B50 PDFBibTeX XMLCite \textit{T. S. Ahmed}, J. Appl. Non-Class. Log. 25, No. 2, 140--192 (2015; Zbl 1398.06009) Full Text: DOI
Sayed Ahmed, Tarek On a theorem of Vaught for first order logic with finitely many variables. (English) Zbl 1197.03036 J. Appl. Non-Class. Log. 19, No. 1, 97-112 (2009). MSC: 03C07 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, J. Appl. Non-Class. Log. 19, No. 1, 97--112 (2009; Zbl 1197.03036) Full Text: DOI
Sayed Ahmed, Tarek Omitting types for algebraizable extensions of first order logic. (English) Zbl 1185.03091 J. Appl. Non-Class. Log. 15, No. 4, 465-489 (2005). MSC: 03G15 03E50 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, J. Appl. Non-Class. Log. 15, No. 4, 465--489 (2005; Zbl 1185.03091) Full Text: DOI
Goranko, Valentin Temporal logics with reference pointers and computation tree logics. (English) Zbl 1033.03022 J. Appl. Non-Class. Log. 10, No. 3-4, 221-242 (2000). MSC: 03B70 03B44 68Q60 68Q85 PDFBibTeX XMLCite \textit{V. Goranko}, J. Appl. Non-Class. Log. 10, No. 3--4, 221--242 (2000; Zbl 1033.03022) Full Text: DOI