<--- Back to Details
First PageDocument Content
Deontic logic / Epistemic modal logic / Modal operator / Linguistic modality / F / Accessibility relation / Modal logic / Logic / Mathematics
Date: 2014-07-09 05:48:26
Deontic logic
Epistemic modal logic
Modal operator
Linguistic modality
F
Accessibility relation
Modal logic
Logic
Mathematics

EuJAP | VOL. 7 | No. 2 | 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF

Add to Reading List

Source URL: www.ffri.hr

Download Document from Source Website

File Size: 228,76 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