Quantifiers and the System KE: Some Surprising Results
1999 ◽
pp. 90-104
◽