Katsuhiko Sano, Minghui Ma. Sequent Calculi for Normal Update Logics. In Md. Aquil Khan, Amaldev Manuel, editors, Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Volume 11600 of Lecture Notes in Computer Science, pages 132-143, Springer, 2019. [doi]
Abstract is missing.