Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report

Moshe Y. Vardi, Larry J. Stockmeyer

Browse the full STOC paper archive.