✦ LIBER ✦

Individualistic formal approach to deontic logic

✍ Scribed by Andrzej Grzegorczyk

Publisher: Springer Netherlands
Year: 1981
Tongue: English
Weight: 207 KB
Volume: 40
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01874702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two approaches to deontic logic

✍ Eric Dayton 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 579 KB

The logic of actual obligation. An alter

The logic of actual obligation. An alternative approach to deontic logic

✍ Frans Voorbraak 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 871 KB

Logical approaches to deontic reasoning:

Logical approaches to deontic reasoning: From basic questions to dynamic solutions

✍ Philippe Balbiani 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB

The development of deontic logic has opened new possibilities for the mathematical analysis of norms. This article tackles the description of large families of deontic systems that attempt to formalize such-and-such idea of juridical notions like obligation. It also introduces a modal logic based on

A Companion to Philosophical Logic || De

A Companion to Philosophical Logic || Deontic, Epistemic, and Temporal Modal Logics

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 101 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Application of formal methods to biologi

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Based on the discrete definition of biological regulatory networks developed by Rene´Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s

Combinations of tense and deontic modali

Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

✍ Lennart Åqvist 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalitie