Replacement—A Sheffer Stroke for Belief Change Sven Ove Hansson OriginalPaper 04 February 2009 Pages: 127 - 149
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5 Dorota Leszczyńska-Jasion OriginalPaper 16 August 2008 Pages: 151 - 177
Inexact Knowledge with Introspection Denis BonnayPaul Égré OriginalPaper 12 September 2008 Pages: 179 - 227