Categorical Abstract Algebraic Logic: Algebraizable Institutions. - George Voutsadakis (Appl. Categorical Struct., 2002)

Polyadic Concept Analysis. - George Voutsadakis (Order, 2002)

Threshold agent networks: an approach to modelling and simulation. - George Voutsadakis (Appl. Math. Comput., 2003)

Categorical abstract algebraic logic: The criterion for deductive equivalence. - George Voutsadakis (Math. Log. Q., 2003)

Categorical Abstract Algebraic Logic: Equivalent Institutions. - George Voutsadakis (Stud Logica, 2003)

Categorical Abstract Algebraic Logic Metalogical Properties. - George Voutsadakis (Stud Logica, 2003)

A Categorical Approach to Threshold Agent Networks. - George Voutsadakis (Appl. Categorical Struct., 2004)

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. - George Voutsadakis (Log. J. IGPL, 2004)

On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs. - George Voutsadakis (Int. J. Neural Syst., 2004)

Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. - George Voutsadakis (Appl. Categorical Struct., 2005)

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. - George Voutsadakis (Arch. Math. Log., 2005)

Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. - George Voutsadakis (Math. Log. Q., 2005)

Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". - George Voutsadakis (Math. Log. Q., 2005)

Categorical Abstract Algebraic Logic: Models of π-Institutions. - George Voutsadakis (Notre Dame J. Formal Log., 2005)

Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. - George Voutsadakis (Appl. Categorical Struct., 2006)

Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems. - George Voutsadakis (Appl. Categorical Struct., 2006)

Categorical abstract algebraic logic: The largest theory system included in a theory family. - George Voutsadakis (Math. Log. Q., 2006)

Categorical Abstract Algebraic Logic: More on Protoalgebraicity. - George Voutsadakis (Notre Dame J. Formal Log., 2006)

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties. - George Voutsadakis (Order, 2006)

Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties. - George Voutsadakis (Reports Math. Log., 2006)

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. - George Voutsadakis (Math. Log. Q., 2007)

Categorical abstract algebraic logic: The categorical Suszko operator. - George Voutsadakis (Math. Log. Q., 2007)

Dedekind-MacNeille Completion of n -ordered Sets. - George Voutsadakis (Order, 2007)

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. - George Voutsadakis (Stud Logica, 2007)

On the Decidability of Role Mappings between Modular Ontologies. - Jie Bao 001; George Voutsadakis; Giora Slutzki; Vasant G. Honavar (AAAI, 2008)

Federated ALCI: Preliminary Report. - George Voutsadakis; Giora Slutzki; Vasant G. Honavar; Jie Bao 001 (Web Intelligence, 2008)

Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. - George Voutsadakis (Log. J. IGPL, 2008)

Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence. - George Voutsadakis (Math. Log. Q., 2009)

Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions. - George Voutsadakis (Reports Math. Log., 2009)

Package-Based Description Logics. - Jie Bao 001; George Voutsadakis; Giora Slutzki; Vasant G. Honavar (Modular Ontologies, 2009)

Secrecy Logic: Protoalgebraic S-Secrecy Logics. - George Voutsadakis (Reports Math. Log., 2012)

CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. - George Voutsadakis (Reports Math. Log., 2012)

Malinowski modalization, modalization through fibring and the Leibniz hierarchy. - Manuel António Martins; George Voutsadakis (Log. J. IGPL, 2013)

Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions. - George Voutsadakis (Math. Log. Q., 2013)

Categorical Abstract Algebraic Logic: Referential Algebraic Semantics. - George Voutsadakis (Stud Logica, 2013)

Categorical Abstract Algebraic Logic: Behavioral π-Institutions. - George Voutsadakis (Stud Logica, 2014)

Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions. - George Voutsadakis (Notre Dame J. Formal Log., 2015)

Categorical abstract algebraic logic: skywatching in semilattice systems. - George Voutsadakis (Log. J. IGPL, 2016)

Categorical abstract algebraic logic weakly referential π-institutions. - George Voutsadakis (Reports Math. Log., 2016)

Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem. - George Voutsadakis (Reports Math. Log., 2017)