Skip navigation
The Australian National University

Bimodal Logics for Reasoning about Continuous Dynamics

Citation

Davoren, J & Gore, R 2000, 'Bimodal Logics for Reasoning about Continuous Dynamics', Advances in Modal Logic (AiMT-ICTL 2000), Unknown, unknown, pp. 51-60.

Year

2000

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers