Carnegie Mellon University

From Logic Wiki
Jump to: navigation, search

Carnegie Mellon University Philosophy Department

  • Jeremy Avigad // website, PhilPapers
    • Specialties: Mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, history of mathematics (via website)
  • Steve Awodey // website, PhilPapers
    • Specialties: Category Theory, Logic, Philosophy of Mathematics (via website)
  • Adam Bjorndahl // website
    • Specialties: epistemic modal logic (via website)
  • Benjamin R. George // website, PhilPapers
    • Specialties: semantics of questions, attitude ascriptions, presupposition projection, and the foundations of semantics (via website)
  • Kevin T. Kelley // website, PhilPapers
    • Specialties: Computability, simplicity (via website)
  • Wilfried Sieg // website, PhilPapers
    • Specialties: Computability, proof theory, automated search (via website)