Communication and Verification

, &
Aristotelian Society Supplementary Volume 13 (1):159-202 (1934)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/aristoteliansupp/13.1.159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

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

Through your library

My notes

Similar books and articles

Symposium: Communication and Verification.L. S. Stebbing, L. J. Russell & A. E. Heath - 1934 - Aristotelian Society Supplementary Volume 13 (1):159 - 202.
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
The human touch.Mark Paterson - 2009 - The Philosophers' Magazine 45 (45):50-56.
Obstacles To Communication, Enhancement Of Communication, Criteria For Successful Communication.Mladen Jovanovic - 1999 - Facta Universitatis, Series: Linguistics and Literature 2 (6):41-54.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Adaptive Model Checking.Alex Groce, Doron Peled & Mihalis Yannakakis - 2006 - Logic Journal of the IGPL 14 (5):729-744.
Philosophies of Communication: Implications for Everyday Experience.Melissa A. Cook & Annette Holba (eds.) - 2008 - Peter Lang.
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Decidable properties for monadic abstract state machines.Daniele Beauquier - 2006 - Annals of Pure and Applied Logic 141 (3):308-319.
The localised falsification diagnosis of meaning.Tony Lloyd - manuscript
Schlick and Neurath.Keith Lehrer - 1982 - Grazer Philosophische Studien 16 (1):49-61.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.

Analytics

Added to PP
2015-02-05

Downloads
17 (#865,183)

6 months
10 (#263,328)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Margaret MacDonald’s scientific common-sense philosophy.Justin Vlasits - 2022 - British Journal for the History of Philosophy 30 (2):267-287.
Testability and Meaning—Continued.Rudolf Carnap - 1937 - Philosophy of Science 4 (1):1-40.
Verificationism and (Some of) its Discontents.Thomas Uebel - 2019 - Journal for the History of Analytical Philosophy 7 (4):1-31.
Susan Stebbing on Logical Positivism and Communication.Paul L. Franco - 2023 - Ergo: An Open Access Journal of Philosophy 10 (48):1378 - 1402.
Ordinary Language Philosophy, Explanation, and the Historical Turn in Philosophy of Science.Paul L. Franco - 2021 - Studies in History and Philosophy of Science Part A 90 (December 2021):77 - 85.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references