Literatura académica sobre el tema "Paraconsistent modal logics"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Paraconsistent modal logics".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Paraconsistent modal logics"
Rivieccio, Umberto. "Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 278 (noviembre de 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Texto completoAvron, Arnon y Anna Zamansky. "Paraconsistency, self-extensionality, modality". Logic Journal of the IGPL 28, n.º 5 (27 de noviembre de 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Texto completoROBLES, GEMMA y JOSÉ M. MÉNDEZ. "PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4". Review of Symbolic Logic 3, n.º 3 (23 de julio de 2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Texto completoOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, n.º 2 (junio de 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Texto completoOdintsov, Sergei P. y Heinrich Wansing. "Disentangling FDE-Based Paraconsistent Modal Logics". Studia Logica 105, n.º 6 (23 de septiembre de 2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Texto completoКарниэлли, У. "Formal polynomials, heuristics and proofs in logic". Logical Investigations 16 (7 de abril de 2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Texto completoМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (9 de abril de 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Texto completoMcGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics". Electronic Notes in Theoretical Computer Science 143 (enero de 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Texto completoBéziau, Jean-Yves. "Many-valuedness from a universal logic perspective". Logical Investigations 26, n.º 1 (6 de agosto de 2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Texto completoCoscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment". Bulletin of Symbolic Logic 27, n.º 2 (junio de 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
Texto completoTesis sobre el tema "Paraconsistent modal logics"
KOZHEMIACHENKO, Daniil. "Paraconsistent and fuzzy modal logics for reasoning about uncertainty". Electronic Thesis or Diss., Bourges, INSA Centre Val de Loire, 2023. http://www.theses.fr/2023ISAB0014.
Texto completoThis dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent) reasoning about uncertainty. The understanding of ‘uncertain information (data)’ here includes any combination of the following three characteristics. First, the information can be graded, i.e., the statement is equipped with a truth degree rather than a truth value. Second, the information can be incomplete. Third, the information can be contradictory.All the logics in question can be divided into two kinds. First, the more ‘traditional’ modal logics defined on [0,1]-valued Kripke models (possibly, with fuzzy accessibility relations) whose language includes modal operators interpreted as infima and suprema of values in the accessible states.The second kind of logics contains so-called ‘two-layered’ logics. In this framework, the language is divided into three parts: the inner layer, the outer layer, and the non-nesting modality. The idea is to use the inner-layer language to describe events, interpret the modality as a measure on the set of events (e.g., as a probability function, belief function, plausibility, etc.) corresponding to the degree of the agent's (un)certainty in a given event, and then reason about this (un)certainty in the outer-layer language. A frame in a two-layered logic is, thus, a set with a measure defined thereon.These two kinds of logics correspond to two ways of interpreting uncertainty. In the less formal one, we will be using the logics with the Kripke-frame semantics. In the more formal case where the degree of one's certainty or belief is assumed to behave as a concrete uncertainty measure, we will use the two-layered logics
Costa, Diana Filipa de Pinho. "Paraconsistency in hybrid logic". Master's thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/13305.
Texto completoThe use of hybrid logics allows the description of relational structures, at the same time that allows establishing accessibility relations between states and, furthermore, nominating and making mention to what happens at speci c states. However, the information we collect is subject to inconsistencies, namely, the search for di erent information sources can lead us to pick up contradictions. Nowadays, by having so many means of dissemination available, that happens frequently. The aim of this work is to develop tools capable of dealing with contradictory information that can be described as hybrid logics' formulas. To build models, to compare inconsistency in di erent databases, and to see the applicability of this method in day-to-day life are the basis for the development of this dissertation.
O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre estados, e, para além disso, nomear e fazer referência ao que acontece em estados específicos. No entanto, a informação que recolhemos está sujeita a inconsistências, isto é, a procura de diferentes fontes de informação pode levar a recolha de contradições. O que nos dias de hoje, com tantos meios de divulgação disponíveis, acontece frequentemente. O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas híbridas. Construir modelos e comparar a inconsistência de diferentes bases de dados e ver a aplicabilidade deste método no dia-a-dia são a base para o desenvolvimento desta dissertação.
Teles, Eugênia Ribeiro. "Uma Abordagem paraconsistente para o problema da consistência nos dilemas morais". Universidade Federal da Paraíba, 2013. http://tede.biblioteca.ufpb.br:8080/handle/tede/5619.
Texto completoCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
This work deals with the question of logical consistency inside the context of moral dilemmas or, more specifically, genuine moral dilemmas, which are situations where someone has a conflict between two obligatory actions guided by the same moral principle. In other words, it is a situation where there are two moral obligations which should be satisfied, but since they are incompatible, while sometimes one is the negation of the other, they cannot be both accomplished. When we formalize moral dilemmas along with some deontic principles, the result is a contradiction. Inside the framework of classical deontic logic, due to its limitation of dealing with paradoxes of such kind, the existence of moral dilemmas is taken as something absurd, as an affront to rationality. Thus, given the inconsistency, the solution would be to deny the existence of the dilemmas, which has been the most widespread solution, or to deny the deontic principles involved in the inconsistency. We do not agree with these two solutions. Instead, we propose to weaken the rationalist argumentation based on the existence of dialetheias and on the suggestion of dealing with moral dilemmas inside a paraconsistent framework, in such a way that the existence of inconsistence would not be a reason any more to deny the existence of such dilemmas.
RESUMOO presente trabalho aborda a questão da consistência lógica dentro do contexto dos dilemas morais; mais especificamente dilemas morais genuínos, que são situações nas quais uma pessoa tem o conflito entre duas ações obrigatórias guiadas pelo mesmo princípio. Ou seja, existem duas obrigações que deveriam ser satisfeitas, mas por se tratarem de ações incompatíveis, em que uma é a negação da outra, não podem ambas ser praticadas. Quando se faz a formalização do dilema moral conjuntamente com alguns princípios deônticos o resultado é uma contradição. Dentro do framework da Lógica Deôntica clássica, por causa de sua limitação em tratar com paradoxos devido a alguns princípios clássicos, a existência dos dilemas morais é tida como algo absurdo ou uma afronta à racionalidade. Assim, dada à inconsistência, a solução seria negar a existência dos dilemas ou negar os princípios deônticos envolvidos na inconsistência. A solução mais propagada foi a negação da existência dos dilemas. Entretanto, discordando dessa solução, tentamos enfraquecer a argumentação racionalista com base na ideia de dialetéias e consequentemente sugerindo que, se os dilemas morais forem tratados em um framework paraconsistente a inconsistência não seria motivo suficiente para negar a existência desses dilemas.
Libros sobre el tema "Paraconsistent modal logics"
Burgess, John P. Logic and Philosophical Methodology. Editado por Herman Cappelen, Tamar Szabó Gendler y John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.30.
Texto completoCapítulos de libros sobre el tema "Paraconsistent modal logics"
Kudo, Yasuo, Tetsuya Murai y Seiki Akama. "A Review on Rough Sets and Possible World Semantics for Modal Logics". En Towards Paraconsistent Engineering, 165–77. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40418-9_8.
Texto completoIndrzejczak, Andrzej y Yaroslav Petrukhin. "A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus". En Automated Deduction – CADE 29, 325–43. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_19.
Texto completoBesnard, Philippe y Paul Wong. "Modal (Logic) Paraconsistency". En Lecture Notes in Computer Science, 540–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45062-7_44.
Texto completoBílková, Marta, Sabine Frittella y Daniil Kozhemiachenko. "Paraconsistent Gödel Modal Logic". En Automated Reasoning, 429–48. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_26.
Texto completoNasieniewski, Marek y Andrzej Pietruszczak. "On Modal Logics Defining Jaśkowski’s D2-Consequence". En Paraconsistency: Logic and Applications, 141–61. Dordrecht: Springer Netherlands, 2012. http://dx.doi.org/10.1007/978-94-007-4438-7_9.
Texto completoDamásio, Carlos Viegas y Luís Moniz Pereira. "A model theory for paraconsistent logic programming". En Progress in Artificial Intelligence, 377–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60428-6_32.
Texto completoSedlár, Igor y Ondrej Majer. "Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic". En New Essays on Belnap-Dunn Logic, 293–310. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31136-0_17.
Texto completoJayakumar, Badrinath y Rajshekhar Sunderraman. "Description Logic Programs: A Paraconsistent Relational Model Approach". En Lecture Notes in Computer Science, 139–57. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27060-9_12.
Texto completoBaşkent, Can. "Public Announcements and Inconsistencies: For a Paraconsistent Topological Model". En Logic, Epistemology, and the Unity of Science, 251–68. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-26506-3_9.
Texto completoTarafder, Sourav. "Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory". En Logic and Its Applications, 195–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-45824-2_14.
Texto completoActas de conferencias sobre el tema "Paraconsistent modal logics"
Kamide, Norihiro y Yoni Zohar. "Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic". En 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2019. http://dx.doi.org/10.1109/ismvl.2019.00029.
Texto completoYan, Fei, Huanguo Zhang, Lina Wang y Min Yang. "An improved intrusion detection model based on paraconsistent logic". En Asia-Pacific Optical Communications, editado por S. J. Ben Yoo, Gee-Kung Chang, Guangcheng Li y Kwok-wai Cheung. SPIE, 2005. http://dx.doi.org/10.1117/12.574963.
Texto completoKirilo, Caique Z., Jair M. Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano y Luiz A. de Lima. "Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic". En 2018 Innovations in Intelligent Systems and Applications (INISTA). IEEE, 2018. http://dx.doi.org/10.1109/inista.2018.8466287.
Texto completoPena, Eduardo H. M., Sylvio Barbon, Joel J. P. C. Rodrigues y Mario Lemes Proenca. "Anomaly detection using digital signature of network segment with adaptive ARIMA model and Paraconsistent Logic". En 2014 IEEE Symposium on Computers and Communication (ISCC). IEEE, 2014. http://dx.doi.org/10.1109/iscc.2014.6912503.
Texto completoPorubay, Oksana. "MAKING MANAGEMENT DECISIONS OF THE ELECTRIC POWER SYSTEM USING THE PARACONSISTENCY LOGICAL MODEL OF THE EXPERT SYSTEM (PESPAL2V)". En CAD/EDA/SIMULATION IN MODERN ELECTRONICS 2021. Bryansk State Technical University, 2021. http://dx.doi.org/10.30987/conferencearticle_61c997ef1fd468.69147282.
Texto completo