Article

Journal of Philosophical Logic

, Volume 20, Issue 2, pp 131-148

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

  • Alberto ZanardoAffiliated withDipartimento di Matematica Pura ed Applicata, Università di Padova

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access