EasyChair Smart Slide
Hypersequent calculus for the logic of conditional belief: preliminary results
Hypersequent calculus for the logic of conditional belief: preliminary results