A sequent formulation of conditional logic based on belief change operations

DOI10.1023/B:STUD.0000039033.21918.51zbMath1066.03031OpenAlexW2073161493MaRDI QIDQ1770597

Peter Roeper

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000039033.21918.51

zbMATH Keywords

belief revisionconditionalsRamsey testGentzen sequents

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: A sequent formulation of conditional logic based on belief change operations