<--- Back to Details
First PageDocument Content
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
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

Add to Reading List

Source URL: iltp.de

Download Document from Source Website

File Size: 102,31 KB

Share Document on Facebook

Similar Documents

Ten Philosophical Problems in Deontic Logic J¨ org Hansen1 , Gabriella Pigozzi2 and Leendert van der Torre2 1  2

Ten Philosophical Problems in Deontic Logic J¨ org Hansen1 , Gabriella Pigozzi2 and Leendert van der Torre2 1 2

DocID: 1voFt - View Document

Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008

Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008

DocID: 1uHka - View Document

Normative Reasoning and Deontic Logics [@RUB – SS2015] Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Centre for Logic and Philosophy of Science Ghent University, Belgium

Normative Reasoning and Deontic Logics [@RUB – SS2015] Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Centre for Logic and Philosophy of Science Ghent University, Belgium

DocID: 1ukOZ - View Document

ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ

ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ

DocID: 1u5e4 - View Document

ESSLLI08: Deontic Logic in Computer Science Part 3b/5: Norms, Obligations, Time and Agents J¨org Hansen and Leendert van der Torre 1  Makinson’s examples

ESSLLI08: Deontic Logic in Computer Science Part 3b/5: Norms, Obligations, Time and Agents J¨org Hansen and Leendert van der Torre 1 Makinson’s examples

DocID: 1tZMI - View Document