On some Alleged Decision Procedures for S4

Journal of Symbolic Logic 31 (4):641-643 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200126234

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

On some Alleged Decision Procedures for S4.H. Willam - 1997 - Journal of Symbolic Logic 31 (4):641-643.
On some alleged decision procedures for S.William H. Hanson - 1966 - Journal of Symbolic Logic 31 (4):641-643.
Review: William H. Hanson, On Some Alleged Decision Procedures for S4. [REVIEW]A. Bayart - 1970 - Journal of Symbolic Logic 35 (2):326-326.
Adaptive versus veridical decision making and the frontal lobes.Elkhonon Goldberg & Kenneth Podell - 1999 - Consciousness and Cognition 8 (3):364-377.
δ-Complete Decision Procedures for Satisfiability over the Reals.Sicun Gao, Jeremy Avigad & Edmund M. Clarke - unknown
Apodeictic syllogisms: Deductions and decision procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
On an alleged counter-example to causal decision theory.John Cantwell - 2010 - Synthese 173 (2):127-152.
Combining decision procedures for the reals.Harvey Friedman & J. Avigad - manuscript
An analysis of empirical testing for modal decision procedures.I. Horrocks, P. Patel-Schneider & R. Sebastiani - 2000 - Logic Journal of the IGPL 8 (3):293-323.
The scope of Turing's analysis of effective procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
Intuition and the junctures of judgment in decision procedures for clinical ethics.John K. Davis - 2007 - Theoretical Medicine and Bioethics 28 (1):1-30.
Decision procedures for verification.Harvey M. Friedman - unknown
Consequentialism and commitment.Alastair Norcross - 1997 - Pacific Philosophical Quarterly 78 (4):380–403.
Should Non-Invasiveness Change Informed Consent Procedures for Prenatal Diagnosis?Zuzana Deans & Ainsley J. Newson - 2011 - Health Care Analysis 19 (2):122-132.

Analytics

Added to PP
2016-06-30

Downloads
16 (#909,186)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Methods of Logic.A. R. Turquette & Willard Van Orman Quine - 1951 - Journal of Symbolic Logic 16 (4):268.
Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.

Add more references