Switch to: References

Citations of:

Reactive intuitionistic tableaux

Synthese 179 (2):253-269 (2011)

Add citations

You must login to add citations.
  1. Reactive Kripke models and contrary to duty obligations. Part A: Semantics.Dov M. Gabbay - 2013 - Journal of Applied Logic 11 (1):103-136.