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
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
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
Journal: Studia Logica Year: 2005 Vol: 80 (2-3)Pages: 321-346
BOOK-CHAPTER
First-order logic and its extensions
Lecture notes in mathematics Year: 2006 Pages: 248-310