Book Chapter

Bimodal Logics for Reasoning About Continuous Dynamics

J DAVOREN, undefined Gore

Advances in Modal Logic | World Scientific Publishing Co | Published : 2002

University of Melbourne Researchers