George Voutsadakis

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 3

Top Topics

Mathematical Theory

Sound And Complete With Respect

Computer Algebra

Propositional Dynamic Logic

Top Venues

Reports Math. Log.

Publications

George Voutsadakis
Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem. Reports Math. Log. 52 (2017)
George Voutsadakis
Categorical abstract algebraic logic: skywatching in semilattice systems. Log. J. IGPL 24 (2) (2016)
George Voutsadakis
Categorical abstract algebraic logic weakly referential π-institutions. Reports Math. Log. 51 (2016)
George Voutsadakis
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions. Notre Dame J. Formal Log. 56 (2) (2015)
George Voutsadakis
Categorical Abstract Algebraic Logic: Behavioral π-Institutions. Stud Logica 102 (3) (2014)
Manuel António Martins, George Voutsadakis
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Log. J. IGPL 21 (5) (2013)
George Voutsadakis
Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions. Math. Log. Q. 59 (3) (2013)
George Voutsadakis
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics. Stud Logica 101 (4) (2013)
George Voutsadakis
CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. Reports Math. Log. 47 (2012)
George Voutsadakis
Secrecy Logic: Protoalgebraic S-Secrecy Logics. Reports Math. Log. 47 (2012)
George Voutsadakis
Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions. Reports Math. Log. 44 (2009)
George Voutsadakis
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence. Math. Log. Q. 55 (1) (2009)
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar
On the Decidability of Role Mappings between Modular Ontologies. AAAI (2008)
George Voutsadakis
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. Log. J. IGPL 16 (3) (2008)
George Voutsadakis, Giora Slutzki, Vasant G. Honavar, Jie Bao
Federated ALCI: Preliminary Report. Web Intelligence (2008)
George Voutsadakis
Categorical abstract algebraic logic: The categorical Suszko operator. Math. Log. Q. 53 (6) (2007)
George Voutsadakis
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. Math. Log. Q. 53 (2) (2007)
George Voutsadakis
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. Stud Logica 85 (2) (2007)
George Voutsadakis
-ordered Sets. Order 24 (1) (2007)
George Voutsadakis
Categorical Abstract Algebraic Logic: More on Protoalgebraicity. Notre Dame J. Formal Log. 47 (4) (2006)
George Voutsadakis
Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems. Appl. Categorical Struct. 14 (4) (2006)
George Voutsadakis
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. Appl. Categorical Struct. 14 (1) (2006)
George Voutsadakis
Categorical abstract algebraic logic: The largest theory system included in a theory family. Math. Log. Q. 52 (3) (2006)
George Voutsadakis
Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties. Reports Math. Log. 41 (2006)
George Voutsadakis
Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties. Order 23 (4) (2006)
George Voutsadakis
-institutions and the deduction-detachment property. Math. Log. Q. 51 (6) (2005)
George Voutsadakis
Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". Math. Log. Q. 51 (6) (2005)
George Voutsadakis
)-Algebraic Systems. Appl. Categorical Struct. 13 (3) (2005)
George Voutsadakis
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Arch. Math. Log. 44 (4) (2005)
George Voutsadakis
Categorical Abstract Algebraic Logic: Models of π-Institutions. Notre Dame J. Formal Log. 46 (4) (2005)
George Voutsadakis
On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs. Int. J. Neural Syst. 14 (3) (2004)
George Voutsadakis
A Categorical Approach to Threshold Agent Networks. Appl. Categorical Struct. 12 (2) (2004)
George Voutsadakis
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. Log. J. IGPL 12 (4) (2004)
George Voutsadakis
Categorical Abstract Algebraic Logic Metalogical Properties. Stud Logica 74 (3) (2003)
George Voutsadakis
Threshold agent networks: an approach to modelling and simulation. Appl. Math. Comput. 142 (2-3) (2003)
George Voutsadakis
Categorical abstract algebraic logic: The criterion for deductive equivalence. Math. Log. Q. 49 (4) (2003)
George Voutsadakis
Categorical Abstract Algebraic Logic: Equivalent Institutions. Stud Logica 74 (1-2) (2003)
George Voutsadakis
Categorical Abstract Algebraic Logic: Algebraizable Institutions. Appl. Categorical Struct. 10 (6) (2002)
George Voutsadakis
Polyadic Concept Analysis. Order 19 (3) (2002)