Relevant bibliographies by topics / Deontic logic

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Deontic logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 June 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Deontic logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Deontic logic"

1

Makinson, David, and Lennart Aqvist. "Deontic Logic." Journal of Symbolic Logic 54, no. 4 (1989): 1481. http://dx.doi.org/10.2307/2274831.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lokhorst, Gert-Jan C., and Lou Goble. "MALLY’S DEONTIC LOGIC." Grazer Philosophische studien 67, no. 1 (2004): 37–57. http://dx.doi.org/10.1163/18756735-90000823.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

MARES, EDWIN D. "Andersonian deontic logic*." Theoria 58, no. 1 (2008): 1–2. http://dx.doi.org/10.1111/j.1755-2567.1992.tb01152.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hansson, Sven Ove. "Situationist Deontic Logic." Journal of Philosophical Logic 26, no. 4 (1997): 423–48. http://dx.doi.org/10.1023/a:1004233913104.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Canavotto, Ilaria, and Alessandro Giordani. "Enriching deontic logic." Journal of Logic and Computation 29, no. 2 (2018): 241–63. http://dx.doi.org/10.1093/logcom/exy007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Van De Putte, Frederik. "Coarse deontic logic." Journal of Logic and Computation 29, no. 2 (2018): 285–317. http://dx.doi.org/10.1093/logcom/exy010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Goble, Lou. "Utilitarian deontic logic." Philosophical Studies 82, no. 3 (1996): 317–57. http://dx.doi.org/10.1007/bf00355312.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kontopoulos, Efstratios, Nick Bassiliades, Guido Governatori, and Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web." International Journal on Semantic Web and Information Systems 7, no. 1 (2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.

Full text
Abstract:
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.
APA, Harvard, Vancouver, ISO, and other styles
9

Drofiszyn, Marcin. "Zasada aglomeracji i dylematy moralne." Studia Philosophica Wratislaviensia 14, no. 4 (2020): 89–104. http://dx.doi.org/10.19195/1895-8001.14.4.5.

Full text
Abstract:
A Deontic Logic for Normative DilemmasAbstract: Standard deontic logic does not tolerate normative conflicts. If we assume that one ought to do A and ought to do B, but cannot do them both, we get a contradiction within deontic logic. Philosophers who deny that there could be genuine moral dilemmas treat this fact as the proof that dilemmas are logically impossible. At the same time, the advocates of the possibility of moral dilemmas propose to reject or restrict standard deontic principles. What consequences does it have for the resulting logic? Some of them are too strong because they contain the theorem of normative triviality or “deontic explosion,” which says that if there is any case of normative conflict, then everything is obligatory. On the other hand, some of them are too weak, since they are not able to validate more important deontic inferences especially the Smith Argument. Lou Goble introduces three criteria of adequacy that any deontic logic should meet if it is to accommodate normative conflicts successfully. First, I present these conditions and then I introduce a new logic of ought that fully meets all of them.
APA, Harvard, Vancouver, ISO, and other styles
10

Da Costa, Newton C. A., and Walter A. Carnielli. "On paraconsistent deontic logic." Philosophia 16, no. 3-4 (1986): 293–305. http://dx.doi.org/10.1007/bf02379748.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Deontic logic"

1

Chingoma, Julian. "Enriching deontic logic with typicality." Master's thesis, University of Cape Town, 2020. http://hdl.handle.net/11427/32530.

Full text
Abstract:
Legal reasoning is a method that is applied by legal practitioners to make legal decisions. For a scenario, legal reasoning requires not only the facts of the scenario but also the legal rules to be enforced within it. Formal logic has long been used for reasoning tasks in many domains. Deontic logic is a logic which is often used to formalise legal scenarios with its built-in notions of obligation, permission and prohibition. Within the legal domain, it is important to recognise that there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which allows for reasoning about exceptions, but a stronger notion of typicality which is based on defeasibility. KLM-style defeasible reasoning introduced by Kraus, Lehmann and Magidor (KLM), is a logic system that employs defeasibility while a logic that serves the same role for the stronger notion of typicality is Propositional Typicality Logic (PTL). Deontic paradoxes are often used to examine deontic logic systems as the scenarios arising from the paradoxes' structures produce undesirable results when desirable deontic properties are applied to the scenarios. This is despite the various scenarios themselves seeming intuitive. This dissertation shows that KLM-style defeasible reasoning and PTL are both effective when applied to the analysis of the deontic paradoxes. We first present the background information which comprises propositional logic, which forms the foundation for the other logic systems, as well as the background of KLM-style defeasible reasoning, deontic logic and PTL. We outline the paradoxes along with their issues within the presentation of deontic logic. We then show that for each of the two logic systems we can intuitively translate the paradoxes, satisfy many of the desirable deontic properties and produce reasonable solutions to the issues resulting from the paradoxes.
APA, Harvard, Vancouver, ISO, and other styles
2

Johnson, Cory. "Suggestions for Deontic Logicians." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/19221.

Full text
Abstract:
The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that all ought-talk is completely cut off from is-talk. Most deontic logicians have sought another solution: Namely, the solution that says that we can bridge the is-ought gap. Thus, a century\'s worth of research into these normative systems of logic has lead to many attempts at doing just that. At the same time, the field of deontic logic has come to be plagued with paradox. My argument essentially depends upon there being a substantive relation between this betrayal of Hume and the plethora of paradoxes that have appeared in two-adic (binary normative operator), one-adic (unary normative operator), and zero-adic (constant normative operator) deontic systems, expressed in the traditions of von Wright, Kripke, and Anderson, respectively. My suggestion has two motivations: First, to rid the philosophical literature of its puzzles and second, to give Hume\'s Law a proper formalization. Exploring the issues related to this project also points to the idea that maybe we should re-engineer (e.g., further generalize) our classical calculus, which might involve the adoption of many-valued logics somewhere down the line.<br>Master of Arts
APA, Harvard, Vancouver, ISO, and other styles
3

Trelles, Oscar. "Donald Nute (ed.): Defeasible Deontic Logic." Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/113238.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Peron, Newton Marques 1982. "Logicas da inconsistencia deontica." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278895.

Full text
Abstract:
Orientador: Marcelo Esteban Coniglio<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009<br>Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital.<br>Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations.<br>Mestrado<br>Filosofia<br>Mestre em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
5

GULISANO, Francesca. "Normative reasoning in Mīımāṃsā: a deontic logic approach". Doctoral thesis, Scuola Normale Superiore, 2021. http://hdl.handle.net/11384/105964.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nygren, Karl. "The Possibility of Norm-Violation in Deontic Logics for Action Types : An Analysis of Bentzen's Action Type Deontic Logic and a New Semantics." Thesis, Linköpings universitet, Avdelningen för kulturvetenskaper, KVA, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-130576.

Full text
Abstract:
In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Logic, where normative concepts are applied to action expressions, rather than propositional statements. The logic offers solutions to many of the paradoxes of deontic logic. In particular, Bentzen's semantics solves many puzzles involving the interaction of permission with conjunction and disjunction. One of the reasons for these positive results is the assumption that agents always act according to norm. This assumption means that only agents with ideal behaviour are modelled; there is no possibility for norm-violation. In this thesis, proof techniques and decision procedures for Action Type Deontic Logic in the style of semantic tableau are investigated, and soundness, completeness and termination results are obtained. In order to account for the possibility of norm-violation, a new semantics based on a generalisation of Action Type Deontic Logic models is proposed. The new semantics keeps the possibility of norm-violation open, while many of the virtues of Action Type Deontic Logic remain.
APA, Harvard, Vancouver, ISO, and other styles
7

Pettersson, Karl. "The Logical Structure of the Moral Concepts : An Essay in Propositional Deontic Logic." Doctoral thesis, Uppsala universitet, Avdelningen för praktisk filosofi, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-131581.

Full text
Abstract:
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reasoning in natural language. The simple standard system of deontic logic (SDL), i.e. the minimal Kripkean modal logic extended with the deontic axiom, stating that necessity (interpreted as obligation) implies possibility (interpreted as permission), has often been considered inadequate for this aim, due to different problems, e.g. the so-called deontic paradoxes. A general survey of deontic logic and the problems with SDL is made in chapter 1. In chapter 2, a system denoted Classical Deontic-Modal logic (CDM1) is defined. In this system, there is a primary obligation operator indexed to sets of possible worlds, and a secondary requirement operator, defined in terms of strictly necessary conditions for fulfilling an obligation. This secondary operator has most of the properties of the necessity operator in SDL. In chapters 3 and 4, it is argued that CDM1 is able to handle the SDL problems presented in chapter 1 in an adequate way, and the treatment of these problems in CDM1 is also compared with their treatment in some other well-known deontic systems. In chapter 5, it is argued that even though the problems related to quantification in modal contexts are relevant to deontic logic, these issues are not specific to deontic logic. In chapter 6, the relations between some controversial features of moral reasoning, such as moral dilemmas and “non-standard” deontic categories like supererogation, and deontic logic are discussed. It is shown how CDM1 can be modified in order to accommodate these features.
APA, Harvard, Vancouver, ISO, and other styles
8

Haag, Zsolt. "Deontic logic based process modelling for co-ordination support in virtual software corporations." Thesis, Glasgow Caledonian University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322220.

Full text
Abstract:
Virtual Software Corporations (VSCs) are a novel and important organisational form for large-scale software development. The increased complexity of this development environment requires the use of tools to support human actors in undertaking their tasks, which in turn require modelling solutions able to capture the VSC specific issues. One of the key aspects identified for software development in a VSC setting is the need to support co-ordination. One approach in the development of support for coordination in heterogeneous environments in respect to processes and support tools, such as VSCs, is the use of commitment management. The purpose of this thesis is to define a formalism suitable for capturing and managing commitments, as a means to support co-ordination. This is done by first analysing existing VSCs, and determining the requirements for co-ordination support. Consequently a formalism is defined to address the requirements. The formalism is based on a commitment modelling approach and deontic logic, a modal logic, which is used to manage the commitments. The defined formalism is the basis of a prototype support system, which is used for testing and evaluating. The evaluation has focused on identifying the level of support provided for the initial requirements. To this end three process examples have been used: the initial case study, the study of an independent VSC and the example of a desired process for software configuration management.The results indicate that the formalism, through the use of the prototype system, is able to represent and to manage commitments, as the most important issues in coordinating VSC software development. Thus it has a significant contribution as a modelling approach and it was shown to be applicable to realistic process scenarios.
APA, Harvard, Vancouver, ISO, and other styles
9

Albuquerque, Hugo Cardoso. "Operators and strong versions of sentential logics in Abstract Algebraic Logic." Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/394003.

Full text
Abstract:
This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and develops an abstract framework which unifies under a common treatment the study of the Leibniz, Suszko, and Frege operators in AAL. Part II generalizes the theory of the strong version of protoalgebraic logics, started in, to arbitrary sentential logics. The interplay between several Leibniz- and Suszko-related notions led us to consider a general framework based upon the notion of S-operator (inspired by that of "mapping compatible with S-filters" of Czelakowski), which encompasses the Leibniz, Suszko, and Frege operators. In particular, when applied to the Leibniz and Suszko operators, new notions of Leibniz and Suszko S-filters arise as instances of more general concepts inside the abstract framework built. The former generalizes the existing notion of Leibniz filter for protoalgebraic logics to arbitrary logics, while the latter is introduced here for the first time. Sev-eral results, both known and new, follow quite naturally inside this framework, again by instantiating it with the Leibniz and Suszko operators. Among the main new results, we prove a General Correspondence Theorem (Theorem ??), which generalizes Blok and Pigozzi's well-known Correspondence Theorem for protoalgebraic logics, as well as Czelakowski's less known Correspondence The-orem for arbitrary logics. We characterize protoalgebraic logics in terms of the Suszko operator as those logics in which the Suszko operator commutes with inverse images by surjective homomorphisms (Theorem ??). We characterize truth-equational logics in terms of their (Suszko) S-filters (Theorem ??), in terms of their full g-models (Corollary ??), and in terms of the Suszko operator, a characterization which strengthens that of Raftery, as those logics in which the Suszko operator is a structural representation from the set of S-filters to the set of AIg(S)-relative congruences, on arbitrary algebras (Theorem ??). Finally, we prove a new Isomorphism Theorem for protoalgebraic logics (Theorem ??), in the same spirit of the famous one for algebraizable logics and for weakly algebraizable logics. Endowed with a notion of Leibniz filter applicable to any logic, we are able to generalize the theory of the strong version of a protoalgebraic logic developed by Font and Jansana to arbitrary sentential logics. Given a sentential logic 5, its strong version St is the logic induced by the class of matrices whose truth set is Leibniz filter. We study three definability criteria of Leibniz filters: equational, explicit and logical definability. Under (any of) these assumptions, we prove that the St-filters coincide with Leibniz S-filters on arbitrary algebras. Finally, we apply the general theory developed to a wealth of non-protoalgebraic log-ics covered in the literature. Namely, we consider Positive Modal Logic P,A4,C, Belnap's logic B, the subintuitionistic logics w1C, and Visser's logic VP,C, and Lukasiewicz's infinite-valued logic preserving degrees of truth. We also consider the generalization of the last example mentioned to logics preserving degrees of truth from varieties of integral commutative residuated lattices, and further generalizations to the non-integral case, as well as to the case without multi-plicative constant. We classify all the examples investigated inside the Leibniz and Frege hierarchies. While none of the logics studied is protoalgebraic, all the respective strong versions are truth-equational.<br>Aquesta dissertació presenta els resultats de la nostra recerca sobre alguns temes recents en Lògica Algebraica Abstracta (LAA), concretament, l'operador de Suszko, els filtres de Leibniz, i les lògiques truth-equacionals. La interacció entre vàries nocións relacionades amb els operadors de Leibniz i de Suszko ens va portar a considerar un marc general basat en la noció de S-operador, que abasta els operadors de Leibniz, de Suszko, i de Frege, unificant així aquests tres operadors paradigmàtics de la LAA sota un mateix tractament.
APA, Harvard, Vancouver, ISO, and other styles
10

Barros, Toni Cézar Pinto Ferreira. "Lógica deôntica: os paradoxos deônticos e as practições em Castaneda." Universidade Federal de Goiás, 2014. http://repositorio.bc.ufg.br/tede/handle/tede/3205.

Full text
Abstract:
Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2014-09-19T21:05:56Z No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)<br>Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2014-09-28T02:24:15Z (GMT) No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)<br>Made available in DSpace on 2014-09-28T02:24:15Z (GMT). No. of bitstreams: 2 Barros, Toni Cézar P. F..pdf: 1070248 bytes, checksum: c077f85b2926645e0b58a66a7f389dd4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-02-17<br>There are two questions about deontic logic that appear frequently in the literature on the subject. The first concerns the legitimacy and the second the deontic paradoxes. The first of these, however, is not the main concern of this paper, we assume, alongside Castañeda the thesis that there are logical relationships, not only between propositions, but also among imperatives and norms. Thus, the main focus of this paper will be to investigate deontic paradoxes, and in particular, the Castañeda‟s solution. This solution involves a distinction between propositions and practitions as well as between imperatives and norms. We also show the advantage of this solution compared to other solution named scope deontic operator. Finally, we analyze Lou Goble‟s criticism to Castañeda‟s solution and objections to this criticism.<br>Há duas questões acerca da lógica deôntica que aparecem com frequência na literatura sobre o tema. A primeira diz respeito à sua legitimidade e a segunda aos paradoxos deônticos. A primeira destas, entretanto, não é a principal preocupação deste trabalho: assumiremos, ao lado de Castañeda, a tese que há relações lógicas, não somente entre proposições, mas também entre imperativos e entre normas. Assim, o foco principal deste texto consistirá em investigar o problema dos paradoxos deônticos e, em particular, a proposta de solução de Castañeda aos mesmos. Tal solução envolve a distinção entre proposições e practições, bem como entre imperativos e normas. Também mostraremos a vantagem desta solução em relação às outras, denominadas de soluções de escopo do operador deôntico. E, por fim, analisaremos a crítica de Lou Goble à solução de Castañeda e objeções a esta crítica.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Deontic logic"

1

Nute, Donald. Defeasible Deontic Logic. Springer Netherlands, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nute, Donald, ed. Defeasible Deontic Logic. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

1947-, Nute Donald, ed. Defeasible deontic logic. Kluwer Academic Publishers, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Horty, John F. Agency and deontic logic. Oxford University Press, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

van der Meyden, Ron, and Leendert van der Torre, eds. Deontic Logic in Computer Science. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-70525-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ågotnes, Thomas, Jan Broersen, and Dag Elgesem, eds. Deontic Logic in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31570-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lomuscio, Alessio, and Donald Nute, eds. Deontic Logic in Computer Science. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b98159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Governatori, Guido, and Giovanni Sartor, eds. Deontic Logic in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14183-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cariani, Fabrizio, Davide Grossi, Joke Meheus, and Xavier Parent, eds. Deontic Logic and Normative Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08615-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Goble, Lou, and John-Jules Ch Meyer, eds. Deontic Logic and Artificial Normative Systems. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11786849.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Deontic logic"

1

Broersen, Jan, Dov Gabbay, Andreas Herzig, et al. "Deontic Logic." In Agreement Technologies. Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-5583-3_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zuleta, Hugo R. "Deontic Logic." In Encyclopedia of the Philosophy of Law and Social Philosophy. Springer Netherlands, 2023. http://dx.doi.org/10.1007/978-94-007-6519-1_1002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Åqvist, Lennart. "Deontic Logic." In Handbook of Philosophical Logic. Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0387-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cornelis, Gustaaf C. "Deontic logic." In Handbook of Pragmatics. John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/hop.m.deo1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cornelis, Gustaaf C. "Deontic logic." In Handbook of Pragmatics. John Benjamins Publishing Company, 2022. http://dx.doi.org/10.1075/hop.m2.deo1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zuleta, Hugo R. "Deontic Logic." In Encyclopedia of the Philosophy of Law and Social Philosophy. Springer Netherlands, 2022. http://dx.doi.org/10.1007/978-94-007-6730-0_1002-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hansson, Sven Ove. "Deontic Logic." In Introduction to Formal Philosophy. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77434-3_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hilpinen, Risto. "Deontic Logic." In The Blackwell Guide to Philosophical Logic. Blackwell Publishing Ltd, 2017. http://dx.doi.org/10.1002/9781405164801.ch8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ausín, Txetxu, and Lorenzo Peña. "Soft Deontic Logic." In Soft Computing in Humanities and Social Sciences. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24672-2_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Royakkers, Lambèr M. M. "Standard Deontic Logic." In Law and Philosophy Library. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-015-9099-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Deontic logic"

1

Arieli, Ofer, Kees van Berkel, Badran Raddaoui, and Christian Strasser. "Deontic Reasoning Based on Inconsistency Measures." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/7.

Full text
Abstract:
Conflicts are inherent to normative systems. In this paper, we explore a novel approach to normative reasoning by quantifying the amount of conflicts within normative systems. We refine the idea from classical logic, according to which a formula is a consequence of a knowledge base in case its negation renders the knowledge base inconsistent. In our approach, whether a formula is a logical consequence depends, for instance, on its negation's marginal contribution to the inconsistency of the given knowledge base. Accordingly, various inconsistency measures and corresponding (nonmonotonic and paraconsistent) normative entailment relations are analyzed relative to a number of logical properties. To illustrate our approach, we adopt Input/Output logic, a renowned formalism in deontic logic, specifically designed for defeasible normative reasoning. As an application, the resulting entailment relations provide recommendations to agents for minimizing norm conflicts, and may be incorporated in a number of implementations (like the Tweety libraries and the LogiKey framework) by involving inconsistency measurements in normative reasoning.
APA, Harvard, Vancouver, ISO, and other styles
2

Ghosh, Krishnendu, and Channing Smith. "Formal Analysis of Deontic Logic Model for Ethical Decisions." In 17th International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013385200003890.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Johnson, Christopher. "The Deontic Logic of Space Law Applied to Lunar Scenarios." In IISL Colloquium on the Law of Outer Space, Held at the 75th International Astronautical Congress (IAC 2024). International Astronautical Federation (IAF), 2024. https://doi.org/10.52202/078384-0051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Aziz, Benjamin, Ukamaka Oragwu, and Safa Tharib. "A Deontic Logic Model of Attribute-Based Information Flows in Database-Defined Networks with Application to Healthcare Monitoring." In 11th International Conference on Information Systems Security and Privacy. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013144900003899.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Horty, John F. "Precedent, deontic logic, and inheritance." In the seventh international conference. ACM Press, 1999. http://dx.doi.org/10.1145/323706.323716.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jarok Koo. "Model checking for deontic logic." In 2008 Third International Forum on Strategic Technologies (IFOST). IEEE, 2008. http://dx.doi.org/10.1109/ifost.2008.4602933.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Li, Xu, Dov Gabbay, and Réka Markovich. "Dynamic Deontic Logic for Permitted Announcements." In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/23.

Full text
Abstract:
In this paper, we introduce and study a dynamic deontic logic for permitted announcements. In our logic framework, it is permitted to announce something if announcing it would not lead to forbidden knowledge. It is shown that the logic is not compact, and we propose a sound and weakly complete Hilbert-style axiomatisation. We also study the computational complexity of the model checking problem and the decidability of the satisfiability problem. Finally, we introduce a neighbourhood semantics with a strongly complete axiomatisation.
APA, Harvard, Vancouver, ISO, and other styles
8

"Argument aggregation in a deontic logic." In Fourth International Conference on Robot Ethics and Standards. CLAWAR Association Ltd., 2019. http://dx.doi.org/10.13180/icres.2019.29-30.07.005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Owens and Philippakis. "Using deontic logic for knowledge integrity control." In Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences. IEEE Comput. Soc. Press, 1994. http://dx.doi.org/10.1109/hicss.1994.323351.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wright, Ava Thomas. "A Deontic Logic for Programming Rightful Machines." In AIES '20: AAAI/ACM Conference on AI, Ethics, and Society. ACM, 2020. http://dx.doi.org/10.1145/3375627.3375867.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Deontic logic' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography