In this paper we formalize sanction-based obligations in the context of Searle’s notion of construction of social reality. In particular, we define obligations using a counts as conditional, Anderson’s reduction to alethic modal logic and Boella and Lesmo’s normative agent. Our analysis presents an alternative criticism to the weakening rule, which has already been criticized in the philosophic...

In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilities of agents. The way both frameworks are combined is technically straightforward: we add deontic accessibility relations to ATL models (concurrent game structures), and deontic operators to the language of ATL (an additional ...

The Lake: Alice, Bertha, and Claudia live around Forest Lake, at some distance from each other. The ecosystem is sensitive, in particular to the solvent they have been using when painting their boats, and the lake is faring badly. Until recently, they had no way of knowing that the solvent would have this effect, but they just learned that it is in fact killing the fish in the lake, and that th...

Abstract Very often when the vast majority of experts agree on some scientific issue, laypeople nonetheless regularly consume articles, videos, lectures, etc., principal claims which are inconsistent with expert consensus. Moreover, it is standardly assumed that entirely appropriate, and perhaps even obligatory, for to such anti-consensus material. I maintain this standard assumption gets thing...