Results 31 to 40 of about 1,947 (213)
, 2023 The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such ...
Governatori, G +14 more
core +1 more source
How to Complete Regulations in Multi-agent Systems [PDF]
, 2009 In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and ompleteness.
Stéphanie Roussel +5 more
core +1 more source
Faith, Language, Logic: Anselm of Canterbury and his Project of Logic of Agency [PDF]
Studia Gilsoniana, 2023 The Philosophical Fragments (Lambeth Fragments) of St. Anselm of Canterbury are a kind of dictionary that explains the meaning of certain terms, such as: facere, velle, posse, necesse, debere, or agere.
Andrzej P. Stefańczyk
doaj +1 more source
Consistency and permission in deontic justification logic
, 2022 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.
Faroldi, F +4 more
core +1 more source
Logical Analogies: Interpretations, Oppositions, and Probabilism
Philosophies, 2019 I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge ...
Walter Redmond
doaj +1 more source
Axioms, 2019 The aim of this article is to present a method of creating deontic logics as axiomatic theories built on first-order predicate logic with identity. In the article, these theories are constructed as theories of legal events or as theories of acts.
Andrzej Malec
doaj +1 more source
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic, 2023 In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza +2 more
doaj +1 more source
The walking debt – On the morals of ownership in debt and its alienability
Rivista di Estetica, 2023 The article provides a moral analysis of the commercial trade of financial claims against private debtors. Secondary debt markets process a type of object that differs from regular commodities.
Simon Derpmann
doaj +1 more source
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
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