Higher-order logics

Julien Murzi

University of Kent

Faculty Member

Philosophy Department

Epistemology, Higher-order logics, Liar Paradox, and Logic

Simon Hewitt

University of London, Birkbeck College

Post-Doc

Philosophy Department

Analytic Philosophy, Epistemology, Logic, and Logic And Foundations Of Mathematics

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Luis Estrada-González

UAEM

Graduate Student

Faculty of Humanities

Algebra, Analytic Philosophy, Category Theory, and Combinatorics

Sam Roberts

University of London, Birkbeck College

Graduate Student

Philosophy Department

Logic, Philosophy Of Language, Philosophy of Logic, and Set Theory

Melvin Fitting

City University of New York

Faculty Member

Lehman College, Mathematics and Computer Science

Automated Deduction, Higher-order logics, Logic, and Mathematical Logic

ariane husson

Gotlob Frege, Gottlob Frege, Higher-order logics, and History of Logic

osman hasan

National University of Sciences & Technology (NUST)

Faculty Member

NUST-SEECS Department

Formal Methods (Formal Verification), Higher-order logics, and Theorem Proving

Kara Hammer

University of Nevada, Reno

Graduate Student

Philosophy Department

(Post-)Analytic Philosophy, A Priori Knowledge, Aristotelian Logic, and Astronomy & Astrophysics

Anthony Patterson

Medical College of Georgia

Alumnus

Psychiatry Department

17th- and 18th-century Philosophy, 18th Century Philosophy, Affective Neuroscience, and Anomalistic Psychology
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012