Sciweavers

54

Voted

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

15 years 6 months ago

Knowledge and the Problem of Logical Omniscience

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

53

Voted

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

15 years 6 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »