Bochman, Alexander; Gabbay, Dov M. Sequential dynamic logic. (English) Zbl 1305.03020 J. Logic Lang. Inf. 21, No. 3, 279-298 (2012). MSC: 03B47 03B65 03F07 PDFBibTeX XMLCite \textit{A. Bochman} and \textit{D. M. Gabbay}, J. Logic Lang. Inf. 21, No. 3, 279--298 (2012; Zbl 1305.03020) Full Text: DOI Link
Bochman, Alexander Entrenchment versus dependence: Coherence and foundations in belief change. (English) Zbl 0992.03023 J. Logic Lang. Inf. 11, No. 1, 3-27 (2002). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{A. Bochman}, J. Logic Lang. Inf. 11, No. 1, 3--27 (2002; Zbl 0992.03023) Full Text: DOI