Epistemic entrenchment and arithmetical hierarchy
type: Item
instance of: scholarly article
title: Epistemic entrenchment and arithmetical hierarchy
zbMATH Open document ID: 0785.03011
DOI: 10.1016/0004-3702(93)90046-E
published in: Artificial Intelligence
publication date: 1994-04-21T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03D55
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 417430
zbMATH Keywords: epistemic entrenchment preorder of sentences
zbMATH Keywords: defeasible proofs
zbMATH Keywords: defeasible provability
zbMATH Keywords: provability in experimental logics
author: Petr Hájek
describes a project that uses: OSCAR
MaRDI profile type: Publication
cites work: Epistemic entrenchment and possibilistic logic
cites work: Q3107917
cites work: Nonmonotonic inference based on expectations
cites work: Q3495345
cites work: Limiting recursion
cites work: Experimental logics and Π30 theories
cites work: Q5286672
cites work: Experimental logics and \(\Delta^0_2\)-theories
cites work: ∏ 0 1 Classes and Degrees of Theories
cites work: Q4023583
cites work: Classical recursion theory. Vol. II
cites work: How to reason defeasibly
cites work: Trial and error predicates and the solution to a problem of Mostowski
full work available at URL: 0004-3702(93)90046-e
OpenAlex ID: W2032962458
Recommended article: In defense of epistemic arithmetic
Recommended article: Epistemic predicates in the arithmetical context
Recommended article: An empirically feasible approach to the epistemology of arithmetic
Recommended article: Epistemic properties of knowledge hierarchies
Recommended article: Epistemic entrenchment and possibilistic logic
Recommended article: From epistemic paradox to doxastic arithmetic
Recommended article: Epistemic equivalence of extended belief hierarchies
Recommended article: Q4022221
Recommended article: Q3347874
description: scientific article; zbMATH DE number 417430