Decision procedures for S2° and T°

Notre Dame Journal of Formal Logic 5:319 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957982

Links

PhilArchive



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

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

Adaptive versus veridical decision making and the frontal lobes.Elkhonon Goldberg & Kenneth Podell - 1999 - Consciousness and Cognition 8 (3):364-377.
The Limits of Maximization.Eric Wiland - 2010 - Polish Journal of Philosophy 4 (1):99-116.
δ-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.
Act Utilitarianism and Decision Procedures: Robert L. Frazier.Robert L. Frazier - 1994 - Utilitas 6 (1):43-53.
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.
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.
Intuition and the junctures of judgment in decision procedures for clinical ethics.John K. Davis - 2007 - Theoretical Medicine and Bioethics 28 (1):1-30.
The scope of Turing's analysis of effective procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
Decision procedures for verification.Harvey M. Friedman - unknown
Combining decision procedures for the reals.Harvey Friedman & J. Avigad - manuscript
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.
Authority, Equality and Democracy.Andrei Marmor - 2005 - Ratio Juris 18 (3):315-345.
Political Decision Procedures.D. A. Lloyd Thomas - 1970 - Proceedings of the Aristotelian Society 70 (1):141 - 158.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,113,583)

6 months
10 (#255,509)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Lemmon-style bases for the systems s1⚬ - s4⚬.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458 - 461.

Add more citations

References found in this work

No references found.

Add more references