Sciweavers

103

Voted

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

15 years 11 months ago

Knowledge and the Problem of Logical Omniscience

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

93

Voted

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

15 years 11 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »