PP-2008-19: Johan van Benthem, Daisuke Ikegami Modal Fixed-Point Logic and Changing Models 1.Full Text, 2.Abstract. < Back
