Keywords
Affiliated Institutions
Related Publications
Theory of Statistical Estimation
It has been pointed out to me that some of the statistical ideas employed in the following investigation have never received a strictly logical definition and analysis. The idea...
Quantal aspects of scientific information
This paper is an attempt to clarify some aspects of the approach to experimentation suggested by the author in a recent publication in the Philosophical Magazine, (hereafter ref...
Four-Year-Olds' Understanding of Pretend, Forget, and Know: Evidence for Propositional Operations
MACNAMARA, JOHN; BAKER, ERICA; and OLSON, CHESTER L. Four-Year-Olds' Understanding of Pretend, Forget, and Know: Evidence for Propositional Operations. CHILD DEVELOPMENT, 1976, ...
Explicit clock temporal logic
The authors present a single exponent decision procedure for the validity of XCTL formulas, and a double exponent decision procedure for the validity of XCTL formulas over finit...
Publication Info
- Year
- 1943
- Type
- article
- Volume
- 5
- Issue
- 4
- Pages
- 115-133
- Citations
- 17433
- Access
- Closed
External Links
Social Impact
Social media, news, blog, policy document mentions
Citation Metrics
Cite This
Identifiers
- DOI
- 10.1007/bf02478259