
Dov M. Gabbay
Articles
XReactive intuitionistic tableaux
2011
Synthese 179/2

Non-cooperation in dialogue logic
2001
Synthese 127/1-2

Articles
XReactive intuitionistic tableaux
2011
Synthese 179/2
Non-cooperation in dialogue logic
2001
Synthese 127/1-2