DMCA

Complete Axiomatizations for Reasoning about Knowledge and Time (1999)

by Joseph Y. Halpern , Ron Van Der Meyden , Moshe Y. Vardi
Venue:STUDIA LOGICA
Citations:84 - 6 self