Link to expertisefinder.com

2 experts in "logical semantics" found:

Default profile photo

Johan Van Benthem

Expert In:

  • Logical semantics
  • Formal philosophy
  • Logic
  • Modal logic
View Profile
Profile photo of Jeffrey Zucker, expert at McMaster University

Jeffrey Zucker

Expert In:

  • Logical foundations of software documentation
  • Program semantics
  • Automatic proof checking
  • Computability over abstract algebras
View Profile

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by Link to expertisefinder.com