BOOK-CHAPTER
Extensions of First-Order Logic
Heinz-Dieter EbbinghausJörg FlumWolfgang Thomas
Year: 2021 Graduate texts in mathematics Pages: 133-145 Publisher: Springer Nature
Keywords:
Quantifier (linguistics) Second-order logic Higher-order logic Countable set Expressive power Predicate logic Computer science Mathematics Discrete mathematics Arithmetic Programming language Description logic Artificial intelligence
Metrics
3
Cited By
0.51
FWCI (Field Weighted Citation Impact)
0
Refs
0.73
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
Extensions of First-Order Logic
H.‐D. EbbinghausJ. FlumW. Thomas
Year: 1994 Pages: 137-149
JOURNAL ARTICLE
Extensions of first order logic
Journal: Computers & Mathematics with Applications Year: 1996 Vol: 32 (6)Pages: 134-134
BOOK-CHAPTER
First-order logic and its extensions
Lecture notes in mathematics Year: 2006 Pages: 248-310
JOURNAL ARTICLE
Extensions of First-Order Logic, Maria Manzano
Journal: Journal of Logic Language and Information Year: 1998 Vol: 7 (3)Pages: 389-391