<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-03-07 05:52:01Logic Mathematical logic Non-classical logic Philosophical logic Logic in computer science Proof theory Modal logic Modality Paraconsistent logic Classical logic Deontic logic Intuitionistic logic |
Add to Reading List |
Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel
