Journal of Philosophical Logic

, Volume 20, Issue 2, pp 131–148

A complete deductive-system for since-until branching-time logic

Authors

  • Alberto Zanardo
    • Dipartimento di Matematica Pura ed ApplicataUniversità di Padova
Article

DOI: 10.1007/BF00284972

Cite this article as:
Zanardo, A. J Philos Logic (1991) 20: 131. doi:10.1007/BF00284972

Copyright information

© Kluwer Academic Publishers 1991