Epistemic entrenchment and arithmetical hierarchy

Artificial Intelligence 62 (1):79-87 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90046-e

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Epistemic entrenchment and arithmetical hierarchy.Petr Hájek - 1994 - Artificial Intelligence 65 (1):191.
Epistemic entrenchment and possibilistic logic.Didier Dubois & Henri Prade - 1991 - Artificial Intelligence 50 (2):223-239.
Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Review: Petr Hájek, Metamathematics of Fuzzy Logic. [REVIEW]Francis Jeffry Pelletier - 2000 - Bulletin of Symbolic Logic 6 (3):342-346.
Vopěnka Petr and Hájek Petr. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 , pp. 261–263. [REVIEW]Dana Scott - 1967 - Journal of Symbolic Logic 32 (3):412.
Comments on 'A Conversation About Fuzzy Logic and Vagueness' by Christian G. Fermüller and Petr Hájek.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical, and Linguistic Perspectives. College Publications. pp. 417-21.
Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 , pp. 191–208. [REVIEW]Franco Montagna - 2000 - Bulletin of Symbolic Logic 6 (3):346-347.
Developing Artificial Human-Like Arithmetical Intelligence (and Why).Markus Pantsar - 2023 - Minds and Machines 33 (3):379-396.
The Spatial Semantic Hierarchy.Benjamin Kuipers - 2000 - Artificial Intelligence 119 (1-2):191-233.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,450,151)

6 months
2 (#1,816,284)

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

Nonmonotonic inference based on expectations.Peter Gärdenfors & David Makinson - 1994 - Artificial Intelligence 65 (2):197-245.
Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.
Epistemic entrenchment and possibilistic logic.Didier Dubois & Henri Prade - 1991 - Artificial Intelligence 50 (2):223-239.

View all 6 references / Add more references