Results 31 to 40 of about 13,565 (215)
The Role of Deontic Logic in the Specification of Information Systems [PDF]
, 1998 In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable ...
A Anderson +27 more
core +4 more sources
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
Journal of World Philosophies, 2017 The Mīmāṃsā school of Indian philosophy elaborated complex ways of interpreting the prescriptive portions of the Vedic sacred texts. The present article is the result of the collaboration of a group of scholars of logic, computer science, European ...
Elisa Freschi, +3 more
doaj +1 more source
Free choice and contextually permitted actions [PDF]
, 1996 We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an ...
Dignum, F.P.M. +2 more
core +3 more sources
CQD Revista Eletrônica Paulista de Matemática, 2020 The deontic logic is a particular case of modal logic that analyses relations among the concepts of obligation, permission and prohibition. We take the standard deontic logic KD, for which we introduce a new system of tableaux.
Romulo Albano de Freitas +1 more
doaj
Sobre a lógica deôntica não-clássica
Crítica, 2018 Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj +1 more source
A controlled language for the specification of contracts [PDF]
, 2010 Controlled natural languages have been used to enable the direct translation from natural language specifications into a formal description. In this paper we make a case for such an approach to write contracts, and translating into a temporal deontic ...
Pace, Gordon J. +2 more
core +1 more source
Obligation as permission : a sound and strongly complete axiomatization [PDF]
, 2016 In (Anglbergeret al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formulaφis obligatory if and only if it is (semantically speaking) the weakest permission.
Van De Putte, Frederik
core +2 more sources
Deontic logic as a study of conditions of rationality in norm-related activities [PDF]
, 2016 The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics.
Žarnić, Berislav
core
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Cholvy, Laurence +2 more
core +2 more sources
How generics obscure the logic of conditionals
Mind &Language, EarlyView.This paper discusses counter‐examples to modus ponens and modus tollens involving modals and quantificational adverbs, and presents new counter‐examples with generic conditionals. We argue that the counter‐examples are spurious, and are explained by the domain‐restricting effects of if‐clauses.
Daniel Lassiter +3 more
wiley +1 more source