Is There a Logic of Provability for Nonmonotonic Reasoning?

Gianni Amati, Fiora Pirri

Browse the full KR paper archive.