Logics for Computer and Data Sciences, and Artificial Intelligence

By Lech Polkowski

Propositional logic.- First-order logic.- Propositional modal logic.- Epistemic, default and dynamic logics.- Temporal logics.- Many-valued logics.- Approximate reasoning: Rough logics.- Beyond frst-order logics.

• Format: Hardcover
• Language: English
• ISBN: 3030916790
• ISBN13: 9783030916794
• Release Date: December 2021
• Publisher: Springer
• Length: 362 Pages
• Weight: 1.56 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"