Microsoft Word - Roeper.word98/corrected
Microsoft Word - Roeper.word98/corrected Sequent Logic Based on Belief Change 1 A Sequent Formulation of Conditional Logic Based on Belief Change Operations1 Peter Roeper As part of his well-known investigation of the theory of belief change Peter Gärdenfors has developed a semantics for conditional logic, based on the operations of expansion and revision of states of information.2 The account amo
https://www.lucs.lu.se/fileadmin/user_upload/project/lucs/LUCS-pub/LUCS-SE/dynamics/roeper.pdf - 2025-09-29