Active Software Projects

  • A web page that tests formulas of first-order, propositional, or modal logic for validity and tries to output either a tableau proof or a countermodel.
  • This site tracks new philosophy papers uploaded to personal pages and repositories.
  • A full-text search over the works of David Lewis.