A Modal Logic for Discretely Descending Chains of Sets Bernhard Heinemann OriginalPaper Pages: 67 - 90
Temporalising Tableaux Roman KontchakovCarsten LutzMichael Zakharyaschev OriginalPaper Pages: 91 - 134
Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53 Andrea CantiniValentin Goranko BookReview Pages: 135 - 142