Gotowa bibliografia na temat „Moral Reasoning”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Moral Reasoning”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Moral Reasoning"

1

Scheffler, Israel. "Moral education beyond moral reasoning." New Directions for Child and Adolescent Development 1990, no. 47 (1990): 99–102. http://dx.doi.org/10.1002/cd.23219904713.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Andre, Judith. "Beyond Moral Reasoning." Teaching Philosophy 14, no. 4 (1991): 359–73. http://dx.doi.org/10.5840/teachphil199114463.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Li, Shangxi. "Gender Differences in Moral Development and Moral Reasoning." Journal of Education, Humanities and Social Sciences 8 (February 7, 2023): 1146–52. http://dx.doi.org/10.54097/ehss.v8i.4441.

Pełny tekst źródła
Streszczenie:
Based on Kohlberg's stage theory, this paper reviews the gender and age differences of individuals in moral choice and moral reasoning. Most experimental study did not show significant differences in moral choices at the Kohlberg stage. However, more women have a moral preference for care in moral reasoning. Moreover, women show different moral reasoning for different contexts and give more reactions, which is more flexible and complex. Moreover, older participants placed more emphasis on the morality of justice while younger participants placed more emphasis on the morality of care. Moral rea
Style APA, Harvard, Vancouver, ISO itp.
4

Babaei, Atefeh, Maryam Bagheri, and Mohsen Shahriari. "Relationship between Moral Sensitivity and Moral Reasoning with Moral Courage in Nursing Students." Iranian Journal of Nursing and Midwifery Research 30, no. 2 (2025): 243–49. https://doi.org/10.4103/ijnmr.ijnmr_391_23.

Pełny tekst źródła
Streszczenie:
Abstract Background: Nursing students required to be prepared to face ethical problems in their future workplace. Solving moral dilemmas requires the implementation of moral decisions, which necessitates significant moral courage. Moral sensitivity and moral reasoning can play a key role in the emergence of morally courageous behavior. The aim of this study was to investigate the relationship between moral sensitivity and moral reasoning with moral courage in nursing students. Materials and Methods: This was a cross-sectional study. The participants consisted of 296 nursing students of Isfahan
Style APA, Harvard, Vancouver, ISO itp.
5

Flanigan, Jessica. "Charisma and Moral Reasoning." Religions 4, no. 2 (2013): 216–29. http://dx.doi.org/10.3390/rel4020216.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Sastre Vilarrassa, Genoveva, Montserrat Moreno Marimón, and Mónica Timón Herrero. "Moral reasoning and education." Educar 22 (February 1, 1998): 155. http://dx.doi.org/10.5565/rev/educar.353.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Kim, Yeun Joon, and Chen-Bo Zhong. "Moral Reasoning and Creativity." Academy of Management Proceedings 2016, no. 1 (2016): 14090. http://dx.doi.org/10.5465/ambpp.2016.19.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Mower, Deborah. "Teaching Sympathetic Moral Reasoning." Teaching Ethics 8, no. 2 (2008): 1–14. http://dx.doi.org/10.5840/tej2008821.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Mayton, Daniel M., Rhett Diessner, and Cheryl D. Granby. "Nonviolence and Moral Reasoning." Journal of Social Psychology 133, no. 5 (1993): 745–46. http://dx.doi.org/10.1080/00224545.1993.9713932.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Sudić, Mislav, Pavle Valerjev, and Josip Ćirić. "Deontic Moral Reasoning Task." Psihologijske teme 28, no. 3 (2019): 483–506. http://dx.doi.org/10.31820/pt.28.3.2.

Pełny tekst źródła
Streszczenie:
Domain theory suggests that moral rules and conventions are perceived differently and elicit a different response. A special procedure was designed to test this hypothesis in a laboratory setting using a deontic reasoning task. The goal was to gain insight into the cognitive and metacognitive processes of deontic reasoning from simple deontic premises. In the 3x2x2 within-subjects design, we varied rule-content (moral, conventional, abstract), rule-type (obligation, permission) and the induced dilemma (punishment dilemma, reward dilemma). Participants (N = 78) were presented with 12 laws. Afte
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Moral Reasoning"

1

Lusenga, Richard Mishack. "School leaders' moral understanding and moral reasoning." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/25322.

Pełny tekst źródła
Streszczenie:
School leaders are faced with serious moral challenges on a daily basis at schools, which often result in them making poor moral choices. In a situation of moral decay in schools, reports in the news media create the impression that school leaders often fail to demonstrate the necessary values advocated by the Moral Regeneration Movement and the Manifesto of Values, Education and Democracy. The purpose of this qualitative study was to explore school leaders’ understanding and reasoning regarding values and morality. For the purposes of the study a number of possible lenses, such as cultural re
Style APA, Harvard, Vancouver, ISO itp.
2

Toole, Briana Marie. "Reasoning and moral judgments." Tallahassee, Fla. : Florida State University, 2010. http://purl.fcla.edu/fsu/lib/digcoll/undergraduate/honors-theses/2181927.

Pełny tekst źródła
Streszczenie:
Thesis (Honors paper)--Florida State University, 2010.<br>Advisor: Dr. David McNaughton, Florida State University, College of Arts and Sciences, Dept. of Philosophy. Includes bibliographical references.
Style APA, Harvard, Vancouver, ISO itp.
3

Lariguet, Guillermo. "Intuitionism and Moral Reasoning." Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/115831.

Pełny tekst źródła
Streszczenie:
My goal for this paper can be presented as follows: I will attempt to show that objections to intuitionism, although they are serious, do not undermine entirely its fertility for knowledge and moral reasoning. This is probably the perception of contemporary philosophers like David Enoch, Robert Audi, Russ Shafer-Landau or John McDowell. In order to fulfill the objective mentioned above, I will do the following. First, I will outline broadly two of the paradigmatic features of moral intuitionism in order to identify it as a particular metaethics doctrine. Secondly, I will summarize some of the
Style APA, Harvard, Vancouver, ISO itp.
4

Ljungström, Andreas. "Moral Intuition Versus Moral Reasoning In the Brain." Thesis, Högskolan i Skövde, Institutionen för biovetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-9574.

Pełny tekst źródła
Streszczenie:
Humans express complex moral behaviour, from altruism to antisocial acts. The investigationof the neural and cognitive mechanisms underlying our moral minds is of profoundimportance for understanding these behaviours. By reviewing recent findings in cognitive andmoral neuroscience, along with other relevant areas of research, the current study aims to: (1)Investigate the neural correlates of moral intuition and moral reasoning, and see how thesetwo systems relate to moral judgement and moral behaviour. (2) Examine how the moralintuitive system and the moral reasoning system relate to one anoth
Style APA, Harvard, Vancouver, ISO itp.
5

Haskuka, Mytaher. "War trauma and moral reasoning /." Prizren : [Selbstverl.], 2009. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018934167&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Cross, Natalie. "Moral reasoning in Aspergers syndrome." Thesis, University of East Anglia, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.569903.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Lee, Kwok-chuen, and 李國川. "Juveniles and their moral reasoning." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2001. http://hub.hku.hk/bib/B31979233.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Lee, Kwok-chuen. "Juveniles and their moral reasoning." Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk:8888/cgi-bin/hkuto%5Ftoc%5Fpdf?B23424710.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Lit, Keith. "Moral Reasoning and Moral Emotions Linking Hoarding and Scrupulosity." NSUWorks, 2017. http://nsuworks.nova.edu/cps_stuetd/111.

Pełny tekst źródła
Streszczenie:
Hoarding and scrupulous OCD are part of the Obsessive-Compulsive and Related Disorders, which are characterized by obsessional preoccupation and ritualistic behavior. Prior research has found a statistical relationship between hoarding and scrupulosity after controlling for these common factors, suggesting the existence of other features shared by these two disorders. Clinical accounts and empirical research of hoarding and scrupulosity suggest three such shared factors: a tendency to experience intense guilt and shame, rigid moralistic thinking, and general cognitive rigidity. However, result
Style APA, Harvard, Vancouver, ISO itp.
10

Tarry, Hammond. "Delinquency, moral reasoning and social control." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393994.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Moral Reasoning"

1

Hannaford, Robert V. Moral anatomy and moral reasoning. University Press of Kansas, 1993.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Sykes, Karen, ed. Ethnographies of Moral Reasoning. Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230617957.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Kvalnes, øyvind. Moral Reasoning at Work. Palgrave Macmillan UK, 2015. http://dx.doi.org/10.1057/9781137532619.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Kvalnes, Øyvind. Moral Reasoning at Work. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-15191-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

M, Fulford K. W., Gillett Grant 1950-, and Soskice Janet Martin, eds. Medicine and moral reasoning. Cambridge University Press, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Knowlton, Steven R. Moral reasoning for journalists. 2nd ed. Praeger Publishers, 2008.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Yli-Luoma, Pertti V. J. Predictors of moral reasoning. Almqvist & Wiksell International, 1990.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

M, Fulford K. W., Gillett Grant 1950-, and Soskice Janet Martin, eds. Medicine and moral reasoning. Cambridge University Press, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Christians, Clifford G. Media ethics: Cases & moral reasoning. 3rd ed. Longman, 1991.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Christians, Clifford G. Media ethics: Cases & moral reasoning. 4th ed. Longman, 1995.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Moral Reasoning"

1

Sykes, Karen M. "Moral Reasoning." In A Companion to Moral Anthropology. John Wiley & Sons, Ltd, 2012. http://dx.doi.org/10.1002/9781118290620.ch10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Klebe Treviño, Linda. "Moral reasoning." In The Routledge International Handbook of the Psychology of Morality. Routledge, 2023. http://dx.doi.org/10.4324/9781003125969-6.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Banja, John D. "Moral Reasoning." In The Routledge Handbook of Neuroethics. Routledge, 2017. http://dx.doi.org/10.4324/9781315708652-22.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Seok, Bongrae. "Moral Reasoning." In Encyclopedia of Global Justice. Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-1-4020-9160-5_142.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Velasquez, Manuel. "Moral Reasoning." In The Blackwell Guide to Business Ethics. Blackwell Publishing Ltd, 2017. http://dx.doi.org/10.1002/9781405164771.ch5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Reynolds, Kae. "Moral Reasoning." In Encyclopedia of Heroism Studies. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-48129-1_343.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Palmer, Emma J. "Moral Reasoning Assessment." In Encyclopedia of Adolescence. Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-1695-2_10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Senland, Amie. "Conventional Moral Reasoning." In Encyclopedia of Child Behavior and Development. Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-79061-9_687.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Senland, Amie. "Preconventional Moral Reasoning." In Encyclopedia of Child Behavior and Development. Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-79061-9_2213.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Palmer, Emma J. "Moral Reasoning Assessment." In Encyclopedia of Adolescence. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-33228-4_10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Moral Reasoning"

1

Khandelwal, Aditi, Utkarsh Agarwal, Kumar Tanmay, and Monojit Choudhury. "Do Moral Judgment and Reasoning Capability of LLMs Change with Language? A Study using the Multilingual Defining Issues Test." In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers). Association for Computational Linguistics, 2024. https://doi.org/10.18653/v1/2024.eacl-long.176.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

López-Villafán, Ricardo, and Everardo Bárcenas. "A Reasoning System for Graded Modal Logic." In 2024 12th International Conference in Software Engineering Research and Innovation (CONISOFT). IEEE, 2024. https://doi.org/10.1109/conisoft63288.2024.00037.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Holliday, Wesley H., Matthew Mandelkern, and Cedegao E. Zhang. "Conditional and Modal Reasoning in Large Language Models." In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.emnlp-main.222.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Cui, Wanqing, Keping Bi, Jiafeng Guo, and Xueqi Cheng. "MORE: Multi-mOdal REtrieval Augmented Generative Commonsense Reasoning." In Findings of the Association for Computational Linguistics ACL 2024. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.findings-acl.69.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Artale, Alessandro, Roman Kontchakov, Andrea Mazzullo, and Frank Wolter. "Non-Rigid Designators in Modal and Temporal Free Description Logics." 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/8.

Pełny tekst źródła
Streszczenie:
Definite descriptions, such as ‘the General Chair of KR 2024’, are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states. We propose expressive modal description logics with non-rigid definite descriptions and names, and investigate decidability and complexity of the satisfiability problem. We first systematically link satisfiability for the one-variable fragment of first-
Style APA, Harvard, Vancouver, ISO itp.
6

Gómez Álvarez, Lucía, and Sebastian Rudolph. "Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities." 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/36.

Pełny tekst źródła
Streszczenie:
Standpoint logic is a recently proposed modal logic framework that is well-suited for multiperspective reasoning and ontology integration. For this reason, combinations of standpoint logic with description logics (DLs) are of special interest. Prior work has shown that it is possible to add standpoints to numerous decidable fragments of first-order logics - including very expressive DLs up to SROIQbs - while preserving their reasoning complexity, so long as standpoint modalities are limited to the axiom level. A more expressive tighter modal integration, where standpoint modalities are also al
Style APA, Harvard, Vancouver, ISO itp.
7

Wałęga, Przemysław Andrzej. "Expressive Power of Definite Descriptions in Modal Logics." 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/65.

Pełny tekst źródła
Streszczenie:
Motivated by applications in knowledge representation and reasoning, modal and description logics have been recently extended with definite description operators. Such operators provide us with a tool for referring to a particular element of a model by stating a property satisfied only by this element. This mechanism resembles the way we refer to objects in natural language, which makes it an attractive component of ontology and query languages. In this paper, we aim to provide a tool for analysing the expressive power of logics with definite descriptions. In particular, we introduce an adequa
Style APA, Harvard, Vancouver, ISO itp.
8

Zheng, Qi. "Cross-Modal Contrastive Learning for Robust Reasoning in VQA." In 2024 7th International Conference on Pattern Recognition and Artificial Intelligence (PRAI). IEEE, 2024. https://doi.org/10.1109/prai62207.2024.10826861.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Tulbure, Andrei A., Dermina P. Danciu, Eva H. Dulf, and Adrian A. Tulbure. "A study on multi-modal LLM reasoning for defect detection." In 2024 IEEE 30th International Symposium for Design and Technology in Electronic Packaging (SIITME). IEEE, 2024. https://doi.org/10.1109/siitme63973.2024.10814831.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Lee, Gi-bbeum, Namwoo Kang, and Ji-Hyun Lee. "Human Driver’s Reasoning on Moral Dilemma of Autonomous Vehicles: Values and Themes." In Intelligent Human Systems Integration (IHSI 2022) Integrating People and Intelligent Systems. AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1001053.

Pełny tekst źródła
Streszczenie:
The computing capacity of Autonomous Vehicles (AVs) has allowed the public to rediscover the classic trolley dilemma in a modern context. This paper aims to present an in-depth explanation of driver’s moral reasoning for AV moral dilemma situations. Moral dilemma vignettes for AVs were designed based on real crash data and in-depth interviews with drivers. With the vignettes, a thought experiment with 33 participants was conducted; think aloud method and open-ended interviews were used to examine participants’ reasoning processes. This paper qualitatively interpreted the data by thematic analy
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Moral Reasoning"

1

Bénabou, Roland, Armin Falk, and Jean Tirole. Narratives, Imperatives, and Moral Reasoning. National Bureau of Economic Research, 2018. http://dx.doi.org/10.3386/w24798.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Boghossian, Peter. Socratic pedagogy, critical thinking, moral reasoning and inmate education : an exploratory study. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.5552.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Lutz, Carsten, and Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.

Pełny tekst źródła
Streszczenie:
Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.
Style APA, Harvard, Vancouver, ISO itp.
4

Horrocks, Ian, and Stephan Tobies. Optimisation of Terminological Reasoning. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.99.

Pełny tekst źródła
Streszczenie:
An extended abstract of this report was submitted to the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, whe
Style APA, Harvard, Vancouver, ISO itp.
5

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Pełny tekst źródła
Streszczenie:
The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the
Style APA, Harvard, Vancouver, ISO itp.
6

Lutz, Carsten, and Dirk Walther. PDL with Negation of Atomic Programs. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.129.

Pełny tekst źródła
Streszczenie:
Propositional dynamic logic (PDL) is one of the most succesful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, it is long-known that reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using a
Style APA, Harvard, Vancouver, ISO itp.
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!