BOOK-CHAPTER
Extensions of First-Order Logic
Keywords:
Axiom Class (philosophy) Mathematics Order (exchange) Characterization (materials science) Set (abstract data type) Natural number Algebra over a field Discrete mathematics Calculus (dental) Pure mathematics Computer science Artificial intelligence Programming language
Metrics
7
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.11
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
Philosophy and Theoretical Science
Social Sciences → Psychology → Experimental and Cognitive Psychology
Related Documents
JOURNAL ARTICLE
Extensions of first order logic
Journal: Computers & Mathematics with Applications Year: 1996 Vol: 32 (6)Pages: 134-134
BOOK-CHAPTER
Extensions of First-Order Logic
Heinz-Dieter EbbinghausJörg FlumWolfgang Thomas
Graduate texts in mathematics Year: 2021 Pages: 133-145
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