BOOK-CHAPTER

First-order logic and its extensions

J. Flum

Year: 2006 Lecture notes in mathematics Pages: 248-310   Publisher: Springer Nature
Keywords:
Order (exchange) Computer science Mathematics Programming language Business

Metrics

43
Cited By
0.31
FWCI (Field Weighted Citation Impact)
24
Refs
0.51
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
semigroups and automata theory
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

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
JOURNAL ARTICLE

Extensions of First-Order Logic, Maria Manzano

Hans Jürgen Ohlbach

Journal:   Journal of Logic Language and Information Year: 1998 Vol: 7 (3)Pages: 389-391
© 2026 ScienceGate Book Chapters — All rights reserved.