Gödel’s incompleteness properties and the guarded fragment: An algebraic approach M Khaled PhD thesis, Central European University, Budapest, 2016 | 16 | 2016 |

The free non-commutative cylindric algebras are not atomic M Khaled Logic Journal of the IGPL 25 (5), 673-685, 2017 | 15 | 2017 |

On complete representations of algebras of logic M Khaled, T Sayed-Ahmed Logic Journal of IGPL 17 (3), 267-272, 2009 | 15 | 2009 |

Distances between formal theories M Khaled, G Székely, K Lefever, M Friend The Review of Symbolic Logic 13 (3), 633-654, 2020 | 14 | 2020 |

The finitely axiomatizable complete theories of non-associative arrow frames M Khaled Advances in Mathematics 346, 194-218, 2019 | 11 | 2019 |

First order logic without equality on relativized semantics A Banerjee, M Khaled Annals of Pure and Applied Logic 169 (11), 1227-1242, 2018 | 9 | 2018 |

Atoms in infinite dimensional free sequence-set algebras M Khaled, I Németi Algebra universalis 80 (4), 41, 2019 | 7 | 2019 |

Weak Godel's incompleteness property for some decidable versions of the calculus of relations M Khaled arXiv preprint arXiv:1511.01383, 2015 | 6 | 2015 |

General normal forms for any additive logic M Khaled Studia Scientiarum Mathematicarum Hungarica 54 (3), 394-409, 2017 | 5 | 2017 |

Vaughts theorem holds for L2 but fails for Ln when n> 2 M Khaled, TS Ahmed Bulletin of the Section of Logic 39 (3/4), 107-122, 2010 | 5 | 2010 |

Omitting types algebraically via cylindric algebras TS Ahmed, M Khaled International Journal of Algebra 3 (8), 377-390, 2009 | 5 | 2009 |

Algebras of concepts and their networks M Khaled, G Székely Progress in Intelligent Decision Science: Proceeding of IDS 2020, 611-622, 2021 | 4 | 2021 |

Geometrical representation theorems for cylindric-type algebras M Khaled, T Sayed Ahmed Quaestiones Mathematicae 43 (1), 81-96, 2020 | 4 | 2020 |

Stone type representation theorems via games T Aslan, M Khaled arXiv preprint arXiv:1811.02311, 2018 | 2 | 2018 |

On the networks of large embeddings T Aslan, M Khaled, G Székely Algebra universalis 85 (3), 33, 2024 | 1 | 2024 |

Weak Godel's incompleteness property for some decidable versions of first order logic M Khaled arXiv preprint arXiv:1511.05221, 2015 | 1 | 2015 |

Building relativized representations using games TS Ahmed, M Khaled arXiv preprint arXiv:1304.1404, 2013 | 1 | 2013 |

Stone type representation theorems via games T Aslan, M Khaled Colloquium Mathematicum 155, 141-155, 2019 | | 2019 |

Strongly representable atom structures M Khaled, TS Ahmed arXiv preprint arXiv:1304.5421, 2013 | | 2013 |

Concept Algebras and Conceptual Distance M Khaled Logic, Relativity and Beyond 4 th International Conference, 47, 0 | | |