Wim Ruitenburg Basic Logic, K4, and Persistence. 343-352 1999 63 Studia Logica 3 db/journals/sLogica/sLogica63.html#Ruitenburg99