On some Alleged Decision Procedures for S4

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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 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.
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
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.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.

Analytics

Added to PP
2014-03-30

Downloads
12 (#1,087,411)

6 months
2 (#1,202,487)

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

No references found.

Add more references