Show The Graduate Center Menu


Sergei Artemov
Graduate Center

Melvin Fitting
Lehman College

Joel David Hamkins
College of Staten Island

Saul Kripke
Graduate Center

Rohit Parikh
Brooklyn College

Subash Shankar
Hunter College



Logic and computability theory were present at the birth of Computer Science. Today logic unites fundamental research and practical developments across a broad range of areas within computer science. Among these are typed theories and languages, logic programming, automated deduction, computer-aided reasoning and verification, knowledge representation and maintenance, fundamentals of epistemic reasoning, logical models of rationality, decision theory with impacts in robotics, data bases, game theory and many other areas. Current faculty interests include computational logic and constructive reasoning, automated theorem proving and verification, theory of typed languages, logics of knowledge and justification, social software studies, epistemic game theory, foundations of computability.



C Sc 75100  Logical Fundamentals of Computer Science
C Sc 85310  Knowledge and Games
C Sc 85320  Epistemic Logic and its Applications
C Sc 85330  Proofs and Computation
C Sc 85340  Justification Logic
C Sc 85350  Game Theory and Social Choice
C Sc 85360  Modal Logic
C Sc 85400  Seminar in Computational Logic (1 credit)
C Sc 85401  Seminar in Logic and Games (1 credit)
C Sc 85410  Topics in Logic