The logic of automata

&

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The Philosophy of Logical Mechanism Essays in Honor of Arthur W. Burks, with His Responses ; with a Bibliography of Works of Arthur W. Burks.Arthur W. Burks & Merrilee H. Salmon - 1990
Arthur W. Burks. The presupposition theory of induction. Philosophy of science, vol. 20 , pp. 177–197. - Arthur W. Burks. On the presuppositions of induction. The review of metaphysics, vol. 8 no. 4 , pp. 574–611. [REVIEW]Jan Berg - 1968 - Journal of Symbolic Logic 33 (2):314-316.
Burks Arthur W.. The logic of causal propositions. Mind, n.s. vol. 60 , pp. 363–382.Nicholas Rescher - 1951 - Journal of Symbolic Logic 16 (4):277-278.
Some applications of propositional logic to cellular automata.Stefano Cavagnetto - 2009 - Mathematical Logic Quarterly 55 (6):605-616.
Burks Arthur W.. The logic of programming electronic digital computers. Industrial mathematics , vol. 1 , pp. 36–52.A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
Arthur W. Burks. Dispositional statements. Philosophy of science, vol. 22 , pp. 175–193.Jan Berg - 1968 - Journal of Symbolic Logic 33 (2):313-314.
The First Electronic Computer: The Atanasoff Story. Alice R. Burks, Arthur W. Burks.Martin Campbell-Kelly - 1988 - Isis 79 (4):715-716.
Burks Arthur W.. A theory of proper names. Philosophical studies, vol. 2 , pp. 36–45.J. F. Thomson - 1952 - Journal of Symbolic Logic 17 (3):213-214.
Burks Arthur W. and Wright Jesse B.. Theory of logical nets. Proceedings of the I.R.E., vol. 41 , pp. 1357–1365.Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):141-142.
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown

Analytics

Added to PP
2010-07-21

Downloads
16 (#1,192,407)

6 months
3 (#1,471,455)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Machine models for cognitive science.Raymond J. Nelson - 1987 - Philosophy of Science 54 (September):391-408.

Add more citations

References found in this work

No references found.

Add more references