Tags:Conditional logic, Epistemic logic, Hypersequent calculus and Multi-agent models
Abstract:
The logic of Conditional Beliefs (CDL) has been introduced by Board, Baltag and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. Our aim is to develop standard internal calculi for this logic. As a preliminary result we propose an internal hypersequent calculus for it in the single agent case.
Hypersequent calculus for the logic of conditional belief: preliminary results