Bertrand Russell, Herbrand's Theorem, and the Assignment Statement

Authors:
Melvin Fitting
Affiliations:
-
Venue:
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Year:
1998

Citing 0
Cited 3

Higher-Order Modal Logic - A Sketch

Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Model checking quantified computation tree logic

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On Quantified Modal Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.03

Visualization

Abstract