The Logic of Empirical Theories Revisited
Johan van Benthem

Abstract:
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.