𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Problems and results for logics about imperatives

✍ Scribed by Jörg Hansen

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
318 KB
Volume
2
Category
Article
ISSN
1570-8683

No coin nor oath required. For personal study only.

✦ Synopsis

Deviating from standard possible-worlds semantics, authors belonging to what might be called the 'imperative tradition' of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semantics and some properties of the resulting logical systems.

📜 SIMILAR VOLUMES

Recent problems and results about kernel
Recent problems and results about kernels in directed graphs
✍ C. Berge; P. Duchet 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 355 KB

In Section 1, we survey the existence theorems for a kernel; in Section 2, we discuss a new conjecture which could constitute a bridge between the kernel problems and the perfect graph conjecture. In fact, we believe that a graph is 'quasi-perfect' if and only if it is perfect. ## Proposition 1.1.