Frame constructions, truth invariance and validity preservation in many-valued modal logic. - Pantelis E. Eleftheriou; Costas D. Koutras (J. Appl. Non Class. Logics, 2005)

Groups definable in ordered vector spaces over ordered division rings. - Pantelis E. Eleftheriou; Sergei Starchenko (J. Symb. Log., 2007)

The universal covering homomorphism in o-minimal expansions of groups. - Mário J. Edmundo; Pantelis E. Eleftheriou (Math. Log. Q., 2007)

A semi-linear group which is not affine. - Pantelis E. Eleftheriou (Ann. Pure Appl. Log., 2008)

Compact domination for groups definable in linear o-minimal structures. - Pantelis E. Eleftheriou (Arch. Math. Log., 2009)

Definable group extensions in semi-bounded o-minimal structures. - Mário J. Edmundo; Pantelis E. Eleftheriou (Math. Log. Q., 2009)

Groups definable in linear o-minimal structures: the non-compact case. - Pantelis E. Eleftheriou (J. Symb. Log., 2010)

Notions of Bisimulation for Heyting-Valued Modal Languages. - Pantelis E. Eleftheriou; Costas D. Koutras; Christos Nomikos (J. Log. Comput., 2012)

Non-standard lattices and o-minimal groups. - Pantelis E. Eleftheriou (Bull. Symb. Log., 2013)

Lattices in Locally Definable Subgroups of <Rn,+>. - Pantelis E. Eleftheriou; Ya'acov Peterzil (Notre Dame J. Formal Log., 2013)

Coverings by open cells. - Mário J. Edmundo; Pantelis E. Eleftheriou; Luca Prelli (Arch. Math. Log., 2014)

Interpretable groups are definable. - Pantelis E. Eleftheriou; Ya'acov Peterzil; Janak Ramakrishnan (J. Math. Log., 2014)

On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures. - Pantelis E. Eleftheriou; Assaf Hasson; Gil Keren (J. Symb. Log., 2017)

Expansions of real closed fields that introduce no new smooth functions. - Pantelis E. Eleftheriou; Alex Savatovsky (Ann. Pure Appl. Log., 2020)

Locally definable subgroups of semialgebraic groups. - Elías Baro; Pantelis E. Eleftheriou; Ya'acov Peterzil (J. Math. Log., 2020)

The choice property in tame expansions of o-minimal structures. - Pantelis E. Eleftheriou; Ayhan Günaydin; Philipp Hieronymi (Math. Log. Q., 2020)

Small sets in Mann pairs. - Pantelis E. Eleftheriou (Arch. Math. Log., 2021)

On Coincidence of Dimensions in Closed Ordered Differential Fields. - Pantelis E. Eleftheriou; Omar León Sánchez; Nathalie Regnault (Notre Dame J. Formal Log., 2021)

Product cones in dense pairs. - Pantelis E. Eleftheriou (Math. Log. Q., 2022)

Orthogonal Decomposition of Definable Groups. - Alessandro Berarducci; Pantelis E. Eleftheriou; Marcello Mamino (J. Symb. Log., 2024)