A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
It is shown that a variant of qualitative (comparative) possibilistic logic is closely related to modal interpretability logic, as studied in the metamathematics of rst-order arithmetic. This contributes to our knowledge on the relations of logics of uncertainty to classical systems of modal logic.doi:10.1007/bfb0035960 fatcat:tx2h2kypjrhqbiqy6fb6vrtsuq