Guido Fiorino. Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge. In Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. Volume 2 of EPiC Series, pages 17-32, EasyChair, 2010. [doi]
Abstract is missing.