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. |
Year | DOI | Venue |
---|---|---|
2012 | https://doi.org/10.1007/s11229-011-9916-6 | Synthese |
Keywords | DocType | Volume |
Theory structure,Model theory,Formal language,Dynamic logic,Computation,Agency | Journal | 186 |
Issue | ISSN | Citations |
3 | 0039-7857 | 0 |
PageRank | References | Authors |
0.34 | 10 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan van Benthem | 1 | 1181 | 107.83 |