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. As such, they are increasingly applied in various fields of computer science, artificial intelligence, engineering, cognitive science and computational linguistics, as well as in philosophy and mathematics, where most of them actually originated. For instance, non-classical logics are used for formalizing computability and provability [36, 37, 157], for representing knowledge, belief, common sense and contextual reasoning [82, 111, 123, 155, 208, 209], for planning and spatial reasoning [50, 56, 191], and for the formal specification and verification of distributed and concurrent systems, of programs, of circuit designs and of protocols for computer security or other safety critical applications [59, 69, 124, 156, 189, 218, 219].
Unable to display preview. Download preview PDF.