Results 91 to 100 of about 1,947 (213)
Applied SciencesAutomated verification through the analysis of system models is often recommended to evaluate the correctness of safety-critical systems. Failures in such systems can have serious effects on both individuals and hardware.
Bożena Woźna-Szcześniak +2 more
doaj +1 more source
A dynamic deontic logic for complex contracts
, 2011 We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found
Schneider, Gerardo, +5 more
core +1 more source
« This Empty Tale » : monstration de l’envers et dire politique dans How the Dead Live de Will Self
Études Britanniques Contemporaines, 2008 This article envisages one of Will Self’s novels through the prism of the uncanny. Such tonality owes a lot to a poetics of radical inversion that taps the powers of contradiction to renew the tradition of ars moriendi. By resorting to a logic of excess,
Jean-Michel Ganteau
doaj +1 more source
Introduction to Deontic Logic and Normative Systems
, 2018 Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output logic.
PARENT, Xavier, VAN DER TORRE, Leon
core
Speech act theory, discourse structure and indirect speech [PDF]
, 1991 Speech Act Theory is concerned with the ways in which language can be used. It originated with Austin, but was developed by Searle. The theories of Austin and Searle are described and several problem areas are identified.
Smith, Peter Wilfred Hesling
core
Adaptive Deontic Logics: A Survey.
FLAP, 2019 Adaptive Logics (ALs) are a viable and useful formal tool to handle various issues in deontic logic. In this paper, we motivate, explain, illustrate, and discuss the use of ALs in deontic logic. Published work on deontic ALs focusses mainly on conflicttolerant deontic logics (logics that can accommodate conflicting obligations) and – to a lesser extent
Van De Putte, Frederik +2 more
openaire +2 more sources
Deontic Logic for Strategic Games [PDF]
Erkenntnis, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Leibniz and the Square: A Deontic Logic for the Vir Bonus
, 2014 Seventeenth century philosopher Gottfried Leibniz's contributions to metaphysics, mathematics, and logic are well known. Lesser known is his 'invention' of deontic logic, and that his invention derives from the alethic logic of the Aristotelian square of
Johns C.
core +1 more source
A Deontic Argumentation Framework Based on Deontic Defeasible Logic
, 2018 Deontic Defeasible Logic (DDL) is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. In this paper we present an argumentation system that corresponds to a variant of DDL.
Guido Governatori +2 more
openaire +2 more sources
Patterns of Reasoning Shared Across Cultural Divides
Orientalia Suecana, 2021 In this paper, a selection of arguments encountered in a pair of canonical classical Greek and Chinese literary and philosophical works are analyzed and compared. The works in which the passages selected for analysis occur are the Histories of Herodotus
Otto Linderborg
doaj