Results 81 to 90 of about 1,947 (213)

Supercover Semantics for Deontic Action Logic

, 2019
The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice.
Nygren, Karl,
core   +1 more source

Donald Nute (ed.): Defeasible Deontic Logic

Areté, 2001
No contiene ...
Oscar Trelles
doaj  

Dilemmas of dating: The case of aprioristic sexual lookism

Journal of Social Philosophy, Volume 57, Issue 2, Page 128-145, Summer 2026.
Rossella De Bernardi
wiley   +1 more source

Impossible and conflicting obligations in justification logic

, 2021
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different.
Ghari, Meghdad, Studer, Thomas, Liu, Fenrongeditor, Portner, Pauleditor, Faroldi, FedericoUGent0001713029098020026589479776834522460000-0002-0069-20228BA30380-A6F4-11E7-8878-09B7AD28A064, Van De Putte, FrederikeditorLW01002004399411802000485137FBC84D04-F0ED-11E1-A9DE-61C894A0A6B4, Lehmann, Eveline, Marra, Alessandraeditor   +7 more
core  

Quantified temporal alethic-deontic logic

, 2015
The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic.
Rönnedal, Daniel,
core   +1 more source

Norms and Deontic Logic

, 2020
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between the notions of obligation, prohibition, permission and optionality.
Piolle, Guillaume, Cuppens, Frédéric, Garion, Christophe, Cuppens-Boulahia, Nora, Nora Cuppens-Boulahia, Christophe Garion, Guillaume Piolle, Frédéric Cuppens   +7 more
core   +1 more source

Language, culture and society: Modality, face and societal logic

Globe, 2023
It is common to distinguish between individualistic cultures typically associated with Western countries and collectivistic cultures normally linked to Asian countries.
Per Durst-Andersen
doaj  

Combining computation tree logic and deontic logic in natural deduction style calculus

, 2009
In this technical report we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities and prove its correctness.
Bolotov, A., Grigoriev, O.
core  

Cloud based automated framework for semantic rich ontology construction and similarity computation for E-health applications

Informatics in Medicine Unlocked, 2017
Ontology structure, a core of semantic web is an excellent tool for knowledge representation and semantic visualization. Moreover, knowledge reuse is made possible through similarity measure estimation between two ontologies, threshold estimation and use
T. MuthamilSelvan, B. Balamurugan
doaj   +1 more source

Deontic Sufficiency in Dyadic Deontic Logic

In this paper, we introduce and study the logics for conditionals of the form “Given φ, it suffices to do ψ”, which are known as “deontic sufficiency” in the deontic logic literature and are useful in the decision and game theory contexts. We completely axiomatize the logics under different assumptions about the properties of the preference relations ...
openaire   +2 more sources