## Toward Logic Tailored for Computational Complexity (1984)

by
Yuri Gurevich

Venue: | COMPUTATION AND PROOF THEORY |

Citations: | 75 - 6 self |

### BibTeX

@INPROCEEDINGS{Gurevich84towardlogic,

author = {Yuri Gurevich},

title = {Toward Logic Tailored for Computational Complexity},

booktitle = {COMPUTATION AND PROOF THEORY},

year = {1984},

pages = {175--216},

publisher = {Springer}

}

### Years of Citing Articles

### OpenURL

### Abstract

Whereas first-order logic was developed to confront the infinite it is often used in computer science in such a way that infinite models are meaningless. We discuss the first-order theory of finite structures and alternatives to first-order logic, especially polynomial time logic.