| ||||
| ||||
![]() Title:Hypersequent calculus for the logic of conditional belief: preliminary results Conference:EICNCL2018 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 ![]() Hypersequent calculus for the logic of conditional belief: preliminary results | ||||
Copyright © 2002 – 2025 EasyChair |