arXiv:0904.2199 [math.LO]AbstractReferencesReviewsResources
Independence - revision and defaults
Published 2009-04-14Version 1
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1906.04273 [math.LO] (Published 2019-06-10)
Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models
arXiv:0811.3402 [math.LO] (Published 2008-11-20)
Toolbox
arXiv:2408.09796 [math.LO] (Published 2024-08-19)
Independence and Induction in Reverse Mathematics