BOOK-CHAPTER

Nonmonotonic Extensions for First Order Logic

Keywords:
Non-monotonic logic Property (philosophy) Classical logic Default logic Computer science Order (exchange) Mathematics Artificial intelligence Autoepistemic logic Description logic Multimodal logic Epistemology Discrete mathematics Philosophy

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.11
Citation Normalized Percentile
Is in top 1%
Is in top 10%

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

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

A First Order Nonmonotonic Extension of Constructive Logic

David PearceAgustín Valverde

Journal:   Studia Logica Year: 2005 Vol: 80 (2-3)Pages: 321-346
BOOK-CHAPTER

First-order logic and its extensions

J. Flum

Lecture notes in mathematics Year: 2006 Pages: 248-310
© 2026 ScienceGate Book Chapters — All rights reserved.