Review: B. U. Pil'cak, On the Decision Problem for the Calculus of Problems [Book Review]

Journal of Symbolic Logic 16 (3):226-227 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266429

Links

PhilArchive



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

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

The basis decision problem in λ‐calculus.Benedetto Intrigila - 1993 - Mathematical Logic Quarterly 39 (1):178-180.
Review: B. U. Pil'cak, On the Calculus of Problems. [REVIEW]Helena Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-372.
Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101-101.
On the regress problem of deciding how to decide.Hanti Lin - 2014 - Synthese 191 (4):661-670.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Review: William W. Boone, Frank B. Cannonito, Roger C. Lyndon, Word Problems, Decision Problems and Burnside Problem in Group Theory. [REVIEW]C. R. J. Clapham - 1976 - Journal of Symbolic Logic 41 (4):785-788.
The Absent-Minded Driver's Paradox: Synthesis and Responses.Ariel Rubinstein - unknown
Dynamic consistency in extensive form decision problems.Nicola Dimitri - 2009 - Theory and Decision 66 (4):345-354.
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):201-214.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,187,905)

6 months
2 (#1,185,463)

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