Intuitionistic basis for non-monotonic logic

6th Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0000064 ◽

2005 ◽

pp. 260-273 ◽

Cited By ~ 22

Author(s):

Dov M. Gabbay

Download Full-text