, Volume 186, Issue 3, pp 775–792

The logic of empirical theories revisited

Open AccessArticle

DOI: 10.1007/s11229-011-9916-6

Cite this article as:
van Benthem, J. Synthese (2012) 186: 775. doi:10.1007/s11229-011-9916-6


Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.


Theory structureModel theoryFormal languageDynamic logicComputationAgency
Download to read the full article text

Copyright information

© The Author(s) 2011

Authors and Affiliations

  1. 1.University of AmsterdamAmsterdamThe Netherlands
  2. 2.Stanford UniversityStanfordUSA