Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties by Karl Schlechta

Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Karl Schlechta

473 pages • missing pub info (editions)

nonfiction mathematics philosophy science
Powered by AI (Beta)
Loading...

Description

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...