Possibilistic logic as interpretability logic [chapter]

Petr Hájek
1995 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