Dov M. Gabbay
(2010-2019)
XReactive intuitionistic tableaux
2011
Synthese 179/2
Topological aspects of matrix abduction 2
2015
in: The road to universal logic II, Basel : Birkhäuser
Topological aspects of matrix abduction 1
2015
in: The road to universal logic II, Basel : Birkhäuser