Decision problem in the classical logic

Notre Dame Journal of Formal Logic 8 (3):239-253 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956090

Links

PhilArchive



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

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 classical decision problem.Egon Boerger - 1997 - New York: Springer. Edited by Erich Grädel & Yuri Gurevich.
Decision theory, intelligent planning and counterfactuals.Michael John Shaffer - 2008 - Minds and Machines 19 (1):61-92.
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.
The logical foundations of decision-theoretic planning in autonomous agents.John Pollock - manuscript
Animals as cost‐based robots.David McFarland - 1992 - International Studies in the Philosophy of Science 6 (2):133 – 153.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
The decision problem for linear temporal logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
In Memory of Richard Jeffrey: Some Reminiscences and Some Reflections on The Logic of Decision.Alan Hájek - 2006 - Philosophy of Science 73 (5):947-958.
Units of decision.Mariam Thalos - 1999 - Philosophy of Science 66 (3):338.
The Logic of Decision and Action.Nicholas Rescher (ed.) - 1967 - University of Pittsburgh Press.
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
The decision problem for standard classes.Yuri Gurevich - 1976 - Journal of Symbolic Logic 41 (2):460-464.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,031,809)

6 months
6 (#509,130)

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