... in a nonmonotonic setting. Even in the nonmonotonic setting, one obtains classical propositional logic, thus showing that monotonicity is not required to justify classical propositional connectives. Nonmonotonic logics; nonmonotonic reasoning; choice functions; qualitative probability measures Received 18 June...

... are PSPACE-complete. An interesting aspect of these results is that reason- ing (testing satisfiability and provability) in the monotonic modal logic S4 is PSPACE-complete. To the best of our knowledge, the nonmonotonic logic S4 is the first example of a nonmonotonic formalism which is computationally...

... with Alchourrón's well-known attack against nonmonotonic logics. It surveys Alchourrón's convictions about legal epistemology and argues that they provided the impetus for his opposition to nonmonotonic logics. It also proposes the view that Alchourrón's approach to defeasibility leaves three important aspects...