Possibilistic logic as interpretability logic

摘要

It is shown that a variant of qualitatie (comparative) possibilistic logic is closely related to modal interpretability logic, as studied in the metamathematics of first-order arithmetic. This contributes to our knowledge on the relations of logics of uncertainty to classical systems of modal logic.