Labelled Non-Classical Logics
Edition: 1 edition
Publisher: Springer
Published: January 31, 2000
Language: eng
Format: Hardcover
Number of pages: 308
ISBN-13: 9780792377498
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Computer Books: Operating Systems; Artificial Intelligence - General; Logic; Computers-Artificial Intelligence - General; Mathematics / Logic; Nonclassical mathematical logic; Philosophy / Logic; Philosophy-Logic
First sentence: Non-classical logics such as modal, temporal, relevance or substructural logics are extensions or restrictions of classical logic that provide languages for formalizing and reasoning about knowledge, belief, time, space, resources, and other dynamic 'state-oriented' properties.