Journal articles on the topic 'Paraconsistent modal logics'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Paraconsistent modal logics.'
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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Rivieccio, Umberto. "Paraconsistent Modal Logics." Electronic Notes in Theoretical Computer Science 278 (November 2011): 173–86. http://dx.doi.org/10.1016/j.entcs.2011.10.014.
Avron, Arnon, and Anna Zamansky. "Paraconsistency, self-extensionality, modality." Logic Journal of the IGPL 28, no. 5 (November 27, 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
ROBLES, GEMMA, and JOSÉ M. MÉNDEZ. "PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4." Review of Symbolic Logic 3, no. 3 (July 23, 2010): 442–66. http://dx.doi.org/10.1017/s1755020310000109.
Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Odintsov, Sergei P., and Heinrich Wansing. "Disentangling FDE-Based Paraconsistent Modal Logics." Studia Logica 105, no. 6 (September 23, 2017): 1221–54. http://dx.doi.org/10.1007/s11225-017-9753-9.
Карниэлли, У. "Formal polynomials, heuristics and proofs in logic." Logical Investigations 16 (April 7, 2010): 280–94. http://dx.doi.org/10.21146/2074-1472-2010-16-0-280-294.
Маркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (April 9, 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
McGinnis, Casey. "Tableau Systems for Some Paraconsistent Modal Logics." Electronic Notes in Theoretical Computer Science 143 (January 2006): 141–57. http://dx.doi.org/10.1016/j.entcs.2005.05.028.
Béziau, Jean-Yves. "Many-valuedness from a universal logic perspective." Logical Investigations 26, no. 1 (August 6, 2020): 78–90. http://dx.doi.org/10.21146/2074-1472-2020-26-1-78-90.
Coscarelli, Bruno Costa. "Model Theory in a Paraconsistent Environment." Bulletin of Symbolic Logic 27, no. 2 (June 2021): 216. http://dx.doi.org/10.1017/bsl.2021.33.
CARNIELLI, WALTER, MARCELO E. CONIGLIO, RODRIGO PODIACKI, and TARCÍSIO RODRIGUES. "ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY." Review of Symbolic Logic 7, no. 3 (June 3, 2014): 548–78. http://dx.doi.org/10.1017/s1755020314000148.
Kamide, Norihiro, and Daiki Koizumi. "Method for Combining Paraconsistency and Probability in Temporal Reasoning." Journal of Advanced Computational Intelligence and Intelligent Informatics 20, no. 5 (September 20, 2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Schwind, Nicolas, Sébastien Konieczny, and Ramón Pino Pérez. "On Paraconsistent Belief Revision in LP." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 5 (June 28, 2022): 5879–87. http://dx.doi.org/10.1609/aaai.v36i5.20532.
Béziau, Jean-Yves. "Paraconsistent logic from a modal viewpoint." Journal of Applied Logic 3, no. 1 (March 2005): 7–14. http://dx.doi.org/10.1016/j.jal.2004.07.009.
Huang, Shasha, Jing Hao, and Dang Luo. "Incoherency Problems in a Combination of Description Logics and Rules." Journal of Applied Mathematics 2014 (2014): 1–6. http://dx.doi.org/10.1155/2014/604753.
BAGAI, RAJIV, and RAJSHEKHAR SUNDERRAMAN. "COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 04, no. 02 (April 1996): 157–75. http://dx.doi.org/10.1142/s021848859600010x.
Esser, Olivier. "A Strong Model of Paraconsistent Logic." Notre Dame Journal of Formal Logic 44, no. 3 (July 2003): 149–56. http://dx.doi.org/10.1305/ndjfl/1091030853.
Apostoli, Peter. "Modal Aggregation and the Theory of Paraconsistent Filters." Mathematical Logic Quarterly 42, no. 1 (1996): 175–90. http://dx.doi.org/10.1002/malq.19960420115.
Mendonça, Bruno R., and Walter A. Carnielli. "Fraïssé’s theorem for logics of formal inconsistency." Logic Journal of the IGPL 28, no. 5 (November 29, 2018): 1060–72. http://dx.doi.org/10.1093/jigpal/jzy073.
João Inácio da Silva Filho. "Application of Shannon Entropy in the Construction of a Paraconsistent Model of the Atom." JOURNAL OF ADVANCES IN PHYSICS 18 (October 11, 2020): 78–113. http://dx.doi.org/10.24297/jap.v18i.8873.
Martinez, Angel Antonio Gonzalez, Irenilza de Alencar Nääs, Thayla Morandi Ridolfi de Carvalho-Curi, and Jair Minoro Abe. "Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions." AgriEngineering 6, no. 2 (May 6, 2024): 1252–65. http://dx.doi.org/10.3390/agriengineering6020071.
Shalack, Vladimir I. "On the origins of logical pluralism." Philosophy Journal 15, no. 4 (November 29, 2022): 88–97. http://dx.doi.org/10.21146/2072-0726-2022-15-4-88-97.
GAO, TIANTIAN, PAUL FODOR, and MICHAEL KIFER. "Paraconsistency and word puzzles." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 703–20. http://dx.doi.org/10.1017/s1471068416000326.
Kamide, Norihiro, and Yoni Zohar. "Modal extension of ideal paraconsistent four-valued logic and its subsystem." Annals of Pure and Applied Logic 171, no. 10 (December 2020): 102830. http://dx.doi.org/10.1016/j.apal.2020.102830.
Iakovleva, Varvara. "Penalty Logic: Paraconsistency and Applications." Логико-философские штудии, no. 1 (September 15, 2021): 110–11. http://dx.doi.org/10.52119/lphs.2021.34.37.007.
López Astorga, Miguel. "Jaina logic: a model-based analysis of the seven predications." Círculo de Lingüística Aplicada a la Comunicación 95 (September 18, 2023): 207–14. http://dx.doi.org/10.5209/clac.77136.
LÖWE, BENEDIKT, and SOURAV TARAFDER. "GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY." Review of Symbolic Logic 8, no. 1 (January 12, 2015): 192–205. http://dx.doi.org/10.1017/s175502031400046x.
Méndez, José M., and Gemma Robles. "Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators." Journal of Logic, Language and Information 25, no. 2 (March 1, 2016): 163–89. http://dx.doi.org/10.1007/s10849-016-9237-8.
Da Silva Filho, João Inácio, Raphael Adamelk Bispo de Oliveira, Marcos Carneiro Rodrigues, Hyghor Miranda Côrtes, Alexandre Rocco, Mauricio Conceição Mario, Dorotéa Vilanova Garcia, et al. "Predictive Controller Based on Paraconsistent Annotated Logic for Synchronous Generator Excitation Control." Energies 16, no. 4 (February 15, 2023): 1934. http://dx.doi.org/10.3390/en16041934.
Priest, Graham. "Contradiction and the Instant of Change Revisited." Vivarium 55, no. 1-3 (July 14, 2017): 217–26. http://dx.doi.org/10.1163/15685349-12341337.
Sedlár, Igor, and Vít Punčochář. "From positive PDL to its non-classical extensions." Logic Journal of the IGPL 27, no. 4 (May 28, 2019): 522–42. http://dx.doi.org/10.1093/jigpal/jzz017.
Chen, Donghuo, and Jinzhao Wu. "Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic." Electronic Notes in Theoretical Computer Science 157, no. 1 (May 2006): 23–38. http://dx.doi.org/10.1016/j.entcs.2006.01.021.
Rusu, Andrei, and Elena Rusu. "On some classes of formulas in S5 which are pre-complete relative to existential expressibility." Computer Science Journal of Moldova 31, no. 3(93) (December 2023): 395–408. http://dx.doi.org/10.56415/csjm.v31.21.
Mario, Mauricio Conceição, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, Landulfo Silveira Júnior, and Heraldo Silveira Barbuy. "Characterization and classification of numerical data patterns using Annotated Paraconsistent Logic and the effect of contradiction." Research, Society and Development 10, no. 13 (October 22, 2021): e283101320830. http://dx.doi.org/10.33448/rsd-v10i13.20830.
Apostoli, Peter, and Bryson Brown. "A solution to the completeness problem for weakly aggregative modal logic." Journal of Symbolic Logic 60, no. 3 (September 1995): 832–42. http://dx.doi.org/10.2307/2275759.
Puga, Leila Z., Newton C. A. Da Costa, and Roberto J. Vernengo. "Lógicas normativas, moral y derecho." Crítica (México D. F. En línea) 23, no. 69 (December 13, 1991): 27–59. http://dx.doi.org/10.22201/iifs.18704905e.1991.811.
Da Silva Filho, João Inácio. "Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions." Journal of Quantum Information Science 06, no. 03 (2016): 143–80. http://dx.doi.org/10.4236/jqis.2016.63012.
K., Veerasamy, and E. J. Thomson Fredrik. "Intelligent Farming based on Uncertainty Expert System with Butterfly Optimization Algorithm for Crop Recommendation." Journal of Internet Services and Information Security 13, no. 4 (December 2, 2023): 158–69. http://dx.doi.org/10.58346/jisis.2023.i4.011.
Dos Santos, Denis Medeiros, João Inácio da Silva Filho, Carlos Teofilo Salinas Sedano, and Mauricio Conceição Mario. "Desenvolvimento de um Modelo em Lógica Paraconsistente para Monitoração de Bombas Centrifugas durante a Operação de uma Refinaria de Petróleo / Development of a Paraconsistent Logic Model for Monitoring Centrifugal Pumps during the Operation of an Oil Refinery." Brazilian Journal of Development 7, no. 12 (December 29, 2021): 118653–73. http://dx.doi.org/10.34117//bjdv7n12-568.
Zamberlan, Miguel Fabrício, and Carolina Yukari Veludo Watanabe. "The adoption of an indicator panel in educational management to decision-making support." International Journal for Innovation Education and Research 8, no. 6 (June 1, 2020): 266–90. http://dx.doi.org/10.31686/ijier.vol8.iss6.2411.
Mruczek-Nasieniewska, Krystyna, Yaroslav Petrukhin, and Vasilyi Shangin. "On Paracomplete Versions of Jaśkowski's Discussive Logic." Bulletin of the Section of Logic, January 4, 2024. http://dx.doi.org/10.18778/0138-0680.2024.01.
CARNIELLI, WALTER, MARCELO E. CONIGLIO, and DAVID FUENMAYOR. "LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT." Review of Symbolic Logic, July 2, 2021, 1–36. http://dx.doi.org/10.1017/s1755020321000277.
Ramos, Jaime, João Rasga, and Cristina Sernadas. "Labelled proof systems for existential reasoning." Logic Journal of the IGPL, January 30, 2024. http://dx.doi.org/10.1093/jigpal/jzad030.
Degauquier, Vincent. "Useful Four-Valued Extension of the Temporal Logic KtT4." Bulletin of the Section of Logic 47, no. 1 (March 30, 2018). http://dx.doi.org/10.18778/0138-0680.47.1.02.
Bílková, Marta, Sabine Frittella, and Daniil Kozhemiachenko. "Fuzzy bi-Gödel modal logic and its paraconsistent relatives." Journal of Logic and Computation, March 31, 2024. http://dx.doi.org/10.1093/logcom/exae011.
Gouveia, Paula, João Rasga, and Cristina Sernadas. "Meet-Combination of Consequence Systems." Logic and Logical Philosophy, May 29, 2024, 1–36. http://dx.doi.org/10.12775/llp.2024.017.
Skura, Tomasz. "Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D." Studia Logica, April 25, 2024. http://dx.doi.org/10.1007/s11225-024-10102-8.
Figallo-Orellano, Aldo, Miguel Peréz-Gaspar, and Juan Manuel Ramírez-Contreras. "Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras." Studia Logica, May 28, 2022. http://dx.doi.org/10.1007/s11225-022-10004-7.
Mishra, Meha, and A. V. Ravishankar Sarma. "Tolerating Inconsistencies: A Study of Logic of Moral Conflicts." Bulletin of the Section of Logic, June 7, 2022. http://dx.doi.org/10.18778/0138-0680.2022.06.
CONIGLIO, MARCELO E., G. T. GOMEZ-PEREIRA, and MARTÍN FIGALLO. "SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE." Review of Symbolic Logic, December 9, 2019, 1–38. http://dx.doi.org/10.1017/s1755020319000595.