Date: 2018-03-07 05:52:01

Logic

Mathematical logic

Non-classical logic

Philosophical logic

Logic in computer science

Proof theory

Modal logic

Modality

Paraconsistent logic

Classical logic

Deontic logic

Intuitionistic logic

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

Source URL: iltp.de

File Size: 102,31 KB