Logics for Kleene Algebra with Modal Operators: Kripke-Completeness and FMP

Συγγραφείς: Wang, Yiheng^Aff6, Ding, Yudi^Aff7

Συνεισφορές: Li, Gang, Series Editor^Aff1, Filipe, Joaquim, Series Editor^Aff2, Xu, Zhiwei, Series Editor^Aff3, Bonsangue, Marcello, editor^Aff4, Chen, Yixiang, editor^Aff5

Πηγή: Artificial Intelligence Logic and Applications : 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. 2668:203-210

A Novel Method of Decision-making Based on Intuitionistic Fuzzy Set Theory

Συγγραφείς: Jaydip Bhattacharya

Πηγή: Transactions on Fuzzy Sets and Systems, Vol 4, Iss 1, Pp 42-53 (2025)

Θεματικοί όροι: T57-57.97, Applied mathematics. Quantitative methods, optimal solution, intuitionistic fuzzy sets, modal operators, Intuitionistic fuzzy sets, Measure of similarity, measure of similarity, Decision making, decision making, Modal operators, Optimal Solution

Σύνδεσμος πρόσβασης: https://doaj.org/article/8ee1e8bd360043cf9debcee72915b5f1

Analisi linguistica in chiave contrastiva delle 'versioni' russa e italiana dell'Accordo TRIPs: terminologia, nominalizzazioni, modalità

Συγγραφείς: Marchesi, Chiara

Θεματικοί όροι: terminologia, nominalizzazioni, operatori modali, di-scorso giuridico, traduzione specialistica, terminology, nominalisations, modal operators, legal di-scourse, specialised translation

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10446/324225

Modal Discussive Logics: Modal discussive logics

Συγγραφείς: Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak

Πηγή: Journal of Philosophical Logic. 54:99-142

Θεματικοί όροι: Jaśkowski discussive logic, discussive connectives, modal discussive logic, modal operators, Mathematical logic and foundations, models of discussion

Περιγραφή αρχείου: application/xml

A study on four extended intuitionistic fuzzy modal operators

Συγγραφείς: Sinem Tarsuslu (Yılmaz), Gökhan Çuvalcıoğlu

Πηγή: Notes on IFS, Vol 31, Iss 4, Pp 441-447 (2025)

Θεματικοί όροι: intuitionistic fuzzy sets, extended modal operators, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://ifigenia.org/images/4/42/NIFS-31-4-441-447.pdf; https://doaj.org/toc/1310-4926; https://doaj.org/toc/2367-8283

Σύνδεσμος πρόσβασης: https://doaj.org/article/6524318806184db392bc7ef44cd3cbcc

Hilbert Algebras with Hilbert-Galois Connections II

Συγγραφείς: Celani, Sergio A., Montagie, Daniela

Συνεισφορές: Celani, Sergio A. - Universidad Nacional del Centro and CONICET, Departamento de Matemática, Argentina, Montagie, Daniela - Instituto de Investigación en Tecnologías y Ciencias de la Ingeniería, Universidad Nacional del Comahue, Facultad de Economía y Administración, Departamento de Matemática, Argentina, Celani, Sergio A. - scelani@exa.unicen.edu.ar, Montagie, Daniela - dmontang@gmail.com

Πηγή: Bulletin of the Section of Logic, Vol 53, Iss 4, Pp 535-554 (2024)
Bulletin of the Section of Logic

Θεματικοί όροι: BC1-199, hilbert algebra, galois connection, Logic, congruences, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, Hilbert algebra, canonical varieties, modal operators, 0101 mathematics, Galois connection

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://doaj.org/article/15a31542abf94eb794872959d8955071
http://hdl.handle.net/11089/54527

Selected Methods of Rejecting Arguments for Determinism in Tense Logic Systems

Συγγραφείς: Dariusz Surowik

Πηγή: Studies in Logic, Grammar and Rhetoric, Vol 69, Iss 1, Pp 285-298 (2024)

Θεματικοί όροι: tense logic, AZ20-999, 05 social sciences, determinism, History of scholarship and learning. The humanities, 0501 psychology and cognitive sciences, modal operators, 06 humanities and the arts, 0603 philosophy, ethics and religion

Σύνδεσμος πρόσβασης: https://doaj.org/article/d394a2ff8ac6498a9bcd503beb8e4a7e

ModalLogicBench: Unveiling Modal Logic Reasoning Abilities of Large Language Models

Συγγραφείς: Li, Xianglong^Aff15, Liu, Yu^{Aff15, Aff16, Aff17}, Zhang, Botao^{Aff15, Aff16, Aff17}, Jiang, Mingjing^Aff15, Chen, Yunfei^Aff15

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Huang, De-Shuang, editor^Aff11, Li, Bo, editor^Aff12, Chen, Haiming, editor^Aff13, Zhang, Chuanlei, editor^Aff14

Πηγή: Advanced Intelligent Computing Technology and Applications : 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIII. 15864:16-28

Extension operators of circular intuitionistic fuzzy sets with triangular norms and conorms: Exploring a domain radius

Συγγραφείς: Dian Pratama, Binyamin Yusoff, Lazim Abdullah, Adem Kılıçman, Nor Hanimah Kamis

Πηγή: AIMS Mathematics, Vol 9, Iss 5, Pp 12259-12286 (2024)

Θεματικοί όροι: Artificial intelligence, Social Sciences, 02 engineering and technology, Multi-Criteria Decision Making, Management Science and Operations Research, Enhancing E-Learning with Intelligent Agents and Analytics, Mathematical analysis, negation operators, Decision Sciences, Artificial Intelligence, Computer security, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Type-2 Fuzzy Logic Systems and Applications, radius operations, Algebra over a field, Extension (predicate logic), Domain (mathematical analysis), RADIUS, circular intuitionistic fuzzy sets, Pure mathematics, Discrete mathematics, Computer science, Programming language, Fuzzy logic, Computer Science, Physical Sciences, modal operators, Mathematics

Σύνδεσμος πρόσβασης: https://doaj.org/article/6e90e9f5128b4da7b518dd4f4fd3cdf2

New operations on cubic intuitionistic fuzzy sets under P–order

Συγγραφείς: Priyadharshini Manoharan, Jayanthi Duraisamy, Saranya Manoharan

Πηγή: Journal of Fuzzy Extension and Applications, Vol 5, Iss 4, Pp 533-559 (2024)

Θεματικοί όροι: intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets, cubic sets, cubic intuitionistic fuzzy sets, modal operators, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://www.journal-fea.com/article_202098_f38d11dae7d8e0ba5375da0bed20d003.pdf; https://doaj.org/toc/2783-1442; https://doaj.org/toc/2717-3453

Σύνδεσμος πρόσβασης: https://doaj.org/article/f940e91550294041bbb6556a9aa5c48d

Circular q-Rung Orthopair Fuzzy Set and Its Algebraic Properties: Circular \(q\)-rung orthopair fuzzy set and its algebraic properties

Συγγραφείς: Yusoff, B., Kilicman, A., Pratama, D., Hasni, R.

Πηγή: Malaysian Journal of Mathematical Sciences. 17:363-378

Θεματικοί όροι: 0209 industrial biotechnology, circular intuitionistic fuzzy sets, 0202 electrical engineering, electronic engineering, information engineering, algebraic properties, modal operators, 02 engineering and technology, \(q\)-rung orthopair fuzzy sets, Theory of fuzzy sets, etc, circular \(q\)-rung orthopair fuzzy sets

Περιγραφή αρχείου: application/xml

MASV, Nanometer‑Scale Processors, and the Materials of the Future ///////////// МАСВ, нанометровые процессоры и материалы будущего

Θεματικοί όροι: material relaxation, semiconductor materials, interconnects, Modal Architecture, процессорные технологии, semiconductor layers, Metals/blood, Structured Field, Modal Analysis of Structured Vacuum, processor technologies, alloy synthesis technology, barrier layers, Modal Physics, nuclear analysis of materials, nanometer processors, FG‑Dynamics, Theoretical Physics, Metals/chemistry, alloys, predictive metallurgy, тонкоплёночные структуры, предиктивный расчёт сплавов, фазовая устойчивость, MASV nanoelectronics, полупроводниковые материалы, атомный анализ сплавов, defect suppression, предпроизводственный расчётный слой, metallurgy, материалы процессорного уровня, atomic analysis of alloys, коррозионная устойчивость, расчётная архитектура вещества, анализ хрупкости, (4-(m-Chlorophenylcarbamoyloxy)-2-butynyl)trimethylammonium Chloride, формирование свойств, Волынец Евгений Вацлавович, high-k диэлектрики, Phase Nodes, plasticity, heat resistance, Modal Density, материалы чипов, Modal Interactions, Se Sp Sn, расчётная наноэлектроника, Fundamental Physics, подавление дефектности, dielectric materials, наноэлектроника, Biomodality, наноинженерные структуры, Metals/urine, электромиграция, расчёт сплавов, релаксация материала, тонкие плёнки, наноразмерные материалы, Metals/history, temperature regimes, Modal Engineering, временные окна, pre-production material calculation, materials for processors, Modal Topology, полупроводниковые слои, износостойкость, атомно-ядерная архитектура, thin-film structures, Spectral Interactions, MASV-Prime, предпроизводственный расчёт материалов, synthesis routes, property formation, materials engineering, MASVPrime, проектирование сплавов, process windows, predictive nanoelectronics, диэлектрические материалы, synthesis regimes, phase architecture, стабилизация сплава, Volynets, Modal, нанометровые процессоры, high-k dielectrics, инженерные материалы МАСВ, time windows, Alkali metals, материаловедение МАСВ, барьерные слои, Vacuum Theory, микроэлектроника, degradation control, проводящие сплавы, температурные режимы, alloy stabilization, thermal stability, Волынец, controlled material formation, alloy design, Vacuum Topology, contact layers, пластичность, фазовая классификация, engineering materials, предиктивная наноэлектроника, сплавы, технология синтеза сплавов, МАСВ процессорные технологии, инженерные материалы, chip materials, проводящие слои, усталостный ресурс, маршруты синтеза, наноструктуры, Transition metals, atigue life, nanoengineered structures, Amorphous metals, жаростойкость, технологические окна, Structured Vacuum, МАСВ, свойства материала, thin films, Metals, computational architecture of matter, лабораторная проверка, atomic-phase compatibility, Nuclear Modal Dynamics, metal synthesis, atomic-nuclear architecture, металлы, material properties, режимы синтеза, nanoscale materials, Metals/classification, контроль деградации, phase stability, МАСВ наноэлектроника, evgeniy Vatslavovich Volynets, Metals/economics, conductive layers, metals, wear resistance, фазовая архитектура, Metals/agonists, MASV materials engineering, Metals/toxicity, predictive alloy design, phase classification, наноразмерная инженерия, electromigration, ядерный анализ материалов, nanoelectronics, processor materials, Vacuum Geometry, nanoscale engineering, Spectrum, nanostructures, Alloys, Modal Diagnostics, conductive alloys, AI‑Driven Material Modeling, MASV processor technologies, межсоединения, corrosion resistance, атомно-фазовая совместимость, синтез металлов, Metals/analysis, прогноз прочности, металлургия, предиктивная металлургия, контактные слои, strength prediction, MASV, microelectronics, pre-production computational layer, термическая устойчивость, computational nanoelectronics, laboratory verification, Modal Operators, computational materials science, управляемое формирование вещества, brittleness analysis, материалы для процессоров

MASV, Nanometer‑Scale Processors, and the Materials of the Future ///////////// МАСВ, нанометровые процессоры и материалы будущего

Θεματικοί όροι: material relaxation, semiconductor materials, interconnects, Modal Architecture, процессорные технологии, semiconductor layers, Metals/blood, Structured Field, Modal Analysis of Structured Vacuum, processor technologies, alloy synthesis technology, barrier layers, Modal Physics, nuclear analysis of materials, nanometer processors, FG‑Dynamics, Theoretical Physics, Metals/chemistry, alloys, predictive metallurgy, тонкоплёночные структуры, предиктивный расчёт сплавов, фазовая устойчивость, MASV nanoelectronics, полупроводниковые материалы, атомный анализ сплавов, defect suppression, предпроизводственный расчётный слой, metallurgy, материалы процессорного уровня, atomic analysis of alloys, коррозионная устойчивость, расчётная архитектура вещества, анализ хрупкости, (4-(m-Chlorophenylcarbamoyloxy)-2-butynyl)trimethylammonium Chloride, формирование свойств, Волынец Евгений Вацлавович, high-k диэлектрики, Phase Nodes, plasticity, heat resistance, Modal Density, материалы чипов, Modal Interactions, Se Sp Sn, расчётная наноэлектроника, Fundamental Physics, подавление дефектности, dielectric materials, наноэлектроника, Biomodality, наноинженерные структуры, Metals/urine, электромиграция, расчёт сплавов, релаксация материала, тонкие плёнки, наноразмерные материалы, Metals/history, temperature regimes, Modal Engineering, временные окна, pre-production material calculation, materials for processors, Modal Topology, полупроводниковые слои, износостойкость, атомно-ядерная архитектура, thin-film structures, Spectral Interactions, MASV-Prime, предпроизводственный расчёт материалов, synthesis routes, property formation, materials engineering, MASVPrime, проектирование сплавов, process windows, predictive nanoelectronics, диэлектрические материалы, synthesis regimes, phase architecture, стабилизация сплава, Volynets, Modal, нанометровые процессоры, high-k dielectrics, инженерные материалы МАСВ, time windows, Alkali metals, материаловедение МАСВ, барьерные слои, Vacuum Theory, микроэлектроника, degradation control, проводящие сплавы, температурные режимы, alloy stabilization, thermal stability, Волынец, controlled material formation, alloy design, Vacuum Topology, contact layers, пластичность, фазовая классификация, engineering materials, предиктивная наноэлектроника, сплавы, технология синтеза сплавов, МАСВ процессорные технологии, инженерные материалы, chip materials, проводящие слои, усталостный ресурс, маршруты синтеза, наноструктуры, Transition metals, atigue life, nanoengineered structures, Amorphous metals, жаростойкость, технологические окна, Structured Vacuum, МАСВ, свойства материала, thin films, Metals, computational architecture of matter, лабораторная проверка, atomic-phase compatibility, Nuclear Modal Dynamics, metal synthesis, atomic-nuclear architecture, металлы, material properties, режимы синтеза, nanoscale materials, Metals/classification, контроль деградации, phase stability, МАСВ наноэлектроника, evgeniy Vatslavovich Volynets, Metals/economics, conductive layers, metals, wear resistance, фазовая архитектура, Metals/agonists, MASV materials engineering, Metals/toxicity, predictive alloy design, phase classification, наноразмерная инженерия, electromigration, ядерный анализ материалов, nanoelectronics, processor materials, Vacuum Geometry, nanoscale engineering, Spectrum, nanostructures, Alloys, Modal Diagnostics, conductive alloys, AI‑Driven Material Modeling, MASV processor technologies, межсоединения, corrosion resistance, атомно-фазовая совместимость, синтез металлов, Metals/analysis, прогноз прочности, металлургия, предиктивная металлургия, контактные слои, strength prediction, MASV, microelectronics, pre-production computational layer, термическая устойчивость, computational nanoelectronics, laboratory verification, Modal Operators, computational materials science, управляемое формирование вещества, brittleness analysis, материалы для процессоров

Why MASV Looks Deeper Than Conventional Physics / Почему МАСВ смотрит глубже привычной физики

Θεματικοί όροι: Modal Architecture, Vacuum Theory, Structured Field, Modal Analysis of Structured Vacuum, Modal Physics, FG‑Dynamics, δφ‑Loops, Vacuum Geometry, Theoretical Physics, Modal Engineering, Spectrum, Modal Diagnostics, Vacuum Topology, AI‑Driven Material Modeling, Modal Topology, Spectral Interactions, MASVPrime, Phase Nodes, Modal Density, Structured Vacuum, Modal Interactions, Se Sp Sn, Fundamental Physics, MASV, Nuclear Modal Dynamics, Biomodality, Modal, Modal Operators

MASV-Prime: Metals and Alloys as a Computational Architecture of Matter, Composition, and Synthesis Technology MASV-Prime: Металлы и сплавы как расчётная архитектура вещества, состава и технологии синтеза

Θεματικοί όροι: material relaxation, Modal Architecture, Metals/blood, Structured Field, Modal Analysis of Structured Vacuum, alloy synthesis technology, Modal Physics, nuclear analysis of materials, FG‑Dynamics, Theoretical Physics, Metals/chemistry, alloys, predictive metallurgy, предиктивный расчёт сплавов, атомный анализ сплавов, metallurgy, atomic analysis of alloys, коррозионная устойчивость, расчётная архитектура вещества, анализ хрупкости, формирование свойств, Волынец Евгений Вацлавович, Phase Nodes, plasticity, heat resistance, Modal Density, Modal Interactions, Se Sp Sn, Fundamental Physics, Biomodality, Metals/urine, расчёт сплавов, релаксация материала, Metals/history, temperature regimes, Modal Engineering, временные окна, pre-production material calculation, Modal Topology, износостойкость, атомно-ядерная архитектура, Spectral Interactions, MASV-Prime, предпроизводственный расчёт материалов, property formation, materials engineering, MASVPrime, проектирование сплавов, synthesis regimes, phase architecture, стабилизация сплава, Volynets, Modal, инженерные материалы МАСВ, time windows, Alkali metals, материаловедение МАСВ, Vacuum Theory, проводящие сплавы, температурные режимы, alloy stabilization, Волынец, alloy design, Vacuum Topology, пластичность, фазовая классификация, engineering materials, сплавы, технология синтеза сплавов, инженерные материалы, усталостный ресурс, Transition metals, atigue life, Amorphous metals, жаростойкость, Structured Vacuum, МАСВ, свойства материала, Metals, computational architecture of matter, лабораторная проверка, Nuclear Modal Dynamics, metal synthesis, atomic-nuclear architecture, металлы, material properties, режимы синтеза, Metals/classification, evgeniy Vatslavovich Volynets, Metals/economics, metals, wear resistance, фазовая архитектура, Metals/agonists, MASV materials engineering, Metals/toxicity, predictive alloy design, phase classification, ядерный анализ материалов, Vacuum Geometry, Spectrum, Alloys, Modal Diagnostics, conductive alloys, AI‑Driven Material Modeling, corrosion resistance, синтез металлов, Metals/analysis, прогноз прочности, металлургия, предиктивная металлургия, strength prediction, MASV, laboratory verification, Modal Operators, computational materials science, brittleness analysis

MASV-Prime уровень работы системы и отличие от существующих теорий / MASV‑Prime — the operational level of the system and its distinction from existing theories

Θεματικοί όροι: Modal Architecture, Vacuum Theory, Structured Field, Modal Analysis of Structured Vacuum, Modal Physics, FG‑Dynamics, δφ‑Loops, Vacuum Geometry, Theoretical Physics, Modal Engineering, Spectrum, Modal Diagnostics, Vacuum Topology, AI‑Driven Material Modeling, Modal Topology, Spectral Interactions, MASVPrime, Phase Nodes, Modal Density, Structured Vacuum, Modal Interactions, Se Sp Sn, Fundamental Physics, MASV, Nuclear Modal Dynamics, Biomodality, Modal, Modal Operators

Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness: Epistemic logics with quantification over epistemic operators: decidability and expressiveness

Συγγραφείς: Gennady Shtakser

Πηγή: Logica Universalis. 17:297-330

Θεματικοί όροι: quantification over modal operators, outer-scope and inner-scope references, decision problem, term-modal logics, 06 humanities and the arts, 0101 mathematics, Logics of knowledge and belief (including belief change), two variable and guarded fragments of first-order logic, 0603 philosophy, ethics and religion, Modal logic (including the logic of norms), 01 natural sciences, expressive power

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/7753870
https://doi.org/10.1007/s11787-023-00330-2

A brief note on intuitionistic fuzzy operators

Συγγραφείς: Jaydip Bhattacharya

Πηγή: Notes on IFS, Vol 30, Iss 1, Pp 009-017 (2024)

Θεματικοί όροι: intuitionistic fuzzy sets, modal operators, extension of operators, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://ifigenia.org/images/0/06/NIFS-30-1-009-017.pdf; https://doaj.org/toc/1310-4926; https://doaj.org/toc/2367-8283

Σύνδεσμος πρόσβασης: https://doaj.org/article/cca890bf7bea49188b5f6d1bfc4a9bec

On a strong negation-based representation of modalities

Συγγραφείς: Dombi, József ^{a, ⁎}, Jónás, Tamás ^{b, ⁎}

Πηγή: In Fuzzy Sets and Systems 1 March 2021 407:142-160

The generalized circular intuitionistic fuzzy set and its operations

Συγγραφείς: Dian Pratama, Binyamin Yusoff, Lazim Abdullah, Adem Kılıçman

Πηγή: AIMS Mathematics, Vol 8, Iss 11, Pp 26758-26781 (2023)

Θεματικοί όροι: Intuitionistic Fuzzy Sets, generalized circular intuitionistic fuzzy set, Application of Soft Set Theory in Decision Making, Social Sciences, generalized arithmetic-geometric means, Multi-Criteria Decision Making, Management Science and Operations Research, Discrete mathematics, Enhancing E-Learning with Intelligent Agents and Analytics, Decision Sciences, Fuzzy Sets, Fuzzy Logic, Artificial Intelligence, Interval-Valued Fuzzy Sets, Combinatorics, Computer Science, Physical Sciences, QA1-939, FOS: Mathematics, arithmetic-geometric means, circular intuitionistic fuzzy set, modal operators, Closed set, Mathematics

Σύνδεσμος πρόσβασης: https://doaj.org/article/e59cd074617446d984264a2ea49953c4