PP-2008-36: Johan van Benthem Merging Observation and Access in Dynamic Logic 1.Full Text, 2.Abstract. < Back
