George Voutsadakis, Ph.D.

Affiliations: 
2010 Computer Science Iowa State University, Ames, IA, United States 
Area:
Computer Science, Artificial Intelligence, Logic
Google:
"George Voutsadakis"

Parents

Sign in to add mentor
Giora Slutzki grad student 2010 Iowa State
 (Federated description logics for the semantic web.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Voutsadakis G. (2016) Categorical abstract algebraic logic: Skywatching in semilattice systems Logic Journal of the Igpl. 24: 138-155
Voutsadakis G. (2015) Categorical abstract algebraic logic: Truth-equational π-institutions Notre Dame Journal of Formal Logic. 56: 351-378
Voutsadakis G. (2015) Categorical abstract algebraic logic: Referential π-institutions Bulletin of the Section of Logic. 44: 33-51
Voutsadakis G. (2014) Categorical Abstract Algebraic Logic: Behavioral π-Institutions Studia Logica. 102: 617-646
Martins Ma, Voutsadakis G. (2013) Malinowski modalization, modalization through fibring and the Leibniz hierarchy Logic Journal of the Igpl. 21: 836-852
Voutsadakis G. (2013) Categorical Abstract Algebraic Logic: Referential Algebraic Semantics Studia Logica. 101: 849-899
Voutsadakis G. (2013) Categorical Abstract Algebraic Logic: Algebraic Semantics for Institutions Mathematical Logic Quarterly. 59: 177-200
Voutsadakis G. (2012) Secrecy logic: Protoalgebraic S-secrecy logics Reports On Mathematical Logic. 3-28
Voutsadakis G. (2012) Secrecy logic: S-secrecy structures Turkish Journal of Mathematics. 36: 1-27
Voutsadakis G. (2012) Categorical abstract algebraic logic: Coordinatization is algebraization Reports On Mathematical Logic. 125-145
See more...