Výsledky vyhledávání - "модальная логика"

Аксиоматическая теория доказательства для модальной логики с поссибилистскими кванторами и равенством

Zdroj: Logiko-filosofskie studii; Том 21, № 2 (2024); 73-76
Логико-философские штудии; Том 21, № 2 (2024); 73-76

Témata: модальная логика первого порядка с равенством, поссибилистская квантификация, аксиоматическая теория доказательства

Popis souboru: application/pdf

Přístupová URL adresa: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/821

Контрпример, иллюстрирующий «практическую необходимость» теоремы Никитина Л.В.

Autoři: Nikitin Leonid Vladimirovich

Témata: Память в вероятности, Зависимые события, Модальная логика, Теория вероятности

Relation: https://zenodo.org/records/16754341; oai:zenodo.org:16754341; https://doi.org/10.5281/zenodo.16754341

Dostupnost: https://doi.org/10.5281/zenodo.16754341
https://zenodo.org/records/16754341

PM5M — формальный язык, объединяющий вероятностную логику, модальную логику S5 и слой памяти. Спецификация и доказательная база. Русская версия 2 (2025) ; PM5M — a formal language combining probabilistic logic, S5 modal logic, and a memory layer. Specification and Proof Base. Version 2 (2025)

Autoři: Nikitin Leonid Vladimirovich

Témata: Probability theory, Modal logic, Dependent events, Covariance decay, Memory effects, Kochen–Stone theorem, Asymptotic probability, модальная логика, модальный язык, логический язык, новый язык, язык, теория вероятности

Relation: https://zenodo.org/records/16792726; oai:zenodo.org:16792726; https://doi.org/10.5281/zenodo.16792726

Dostupnost: https://doi.org/10.5281/zenodo.16792726
https://zenodo.org/records/16792726

PM5M — формальный язык, объединяющий вероятностную логику, модальную логику S5 и слой памяти. Спецификация и доказательная база. Русская версия 2 (2025)

Autoři: Nikitin Leonid Vladimirovich, Nikitin Leonid Vladimirovich

Témata: Dependent events, Covariance decay, логический язык, Modal logic, Memory effects, модальная логика, язык, теория вероятности, Probability theory, Asymptotic probability, новый язык, модальный язык, Kochen–Stone theorem

Контрпример, иллюстрирующий «практическую необходимость» теоремы Никитина Л.В

Autoři: Nikitin Leonid Vladimirovich, Nikitin Leonid Vladimirovich

Témata: Зависимые события, Память в вероятности, Теория вероятности, Модальная логика

THE BEST OF ALL POSSIBLE WORLDS, TRANSWORLD DEPRAVITY AND THE PROBLEM OF CHOICE

Autoři: Fatiev, Nikita

Zdroj: Logiko-filosofskie studii; Том 20, № 1 (2022); 15-22
Логико-философские штудии; Том 20, № 1 (2022); 15-22

Témata: possible worlds, theodicy, Buridan's donkey, determinism, moral good and evil, nature of necessity, freedom of the will, modal logic, возможные миры, теодицея, буриданов осел, детерминизм, моральное добро и зло, природа необходимости, свобода воли, модальная логика

Popis souboru: application/pdf

Přístupová URL adresa: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/733

Crossworld Predication in Natural Language

Autoři: Borisov, Evgeny

Zdroj: Logiko-filosofskie studii; Том 19, № 4 (2021); 260– 272
Логико-философские штудии; Том 19, № 4 (2021); 260– 272

Témata: модальная логика первого порядка, семантика возможных миров, кросс-мировая предикация, естественный язык, first-order modal logic, possible world semantics, cross-world predication, natural language

Popis souboru: application/pdf

Přístupová URL adresa: https://ojs.philosophy.spbu.ru/index.php/lphs/article/download/721/696
https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/721

К вопросу об особенностях CPL

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 74. С. 17-24

Témata: семантика, модальная логика, кроссмировая предикация, квантификация, модальность

Popis souboru: application/pdf

Přístupová URL adresa: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006871

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

Autoři: Stepan I. Bashmakov Институт математики и фундаментальной информатики Кафедра алгебры и математической логики

Přispěvatelé: Stepan I. Bashmakov Институт математики и фундаментальной информатики Кафедра алгебры и математической логики

Zdroj: Journal of Siberian Federal University. Mathematics & Physics. 11:3-9

Témata: unification, non-transitive Kripke frame, 4. Education, временная модальная логика, граунд–унификатор, 06 humanities and the arts, 16. Peace & justice, 0603 philosophy, ethics and religion, 01 natural sciences, 27.03.19, temporal modal logic, 12. Responsible consumption, нетранзитивный фрейм Крипке, ground unifier, унификация, projective formulas, 0101 mathematics, проективные формулы

Přístupová URL adresa: http://elib.sfu-kras.ru/bitstream/2311/68378/1/bashmakov.pdf
https://openrepository.ru/article?id=452454
http://elib.sfu-kras.ru/bitstream/2311/68378/1/bashmakov.pdf
http://elib.sfu-kras.ru/handle/2311/68378

Reply to the Opponents ; Ответ оппонентам

Autoři: Borisov, Evgeny

Zdroj: Logiko-filosofskie studii; Том 19, № 4 (2021); 316–325 ; Логико-философские штудии; Том 19, № 4 (2021); 316–325 ; 2223-3954 ; 2071-9183

Témata: first-order modal logic, possible world semantics, cross-world predication, natural language, модальная логика первого порядка, семантика возможных миров, кросс- мировая предикация, естественный язык

Popis souboru: application/pdf

Relation: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/722/697; https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/722

Dostupnost: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/722
https://doi.org/10.52119/LPHS.2021.29.72.011

О прагматической оправданности использования понятия необходимого тождества в контексте проблемы квантификации

Autoři: Gushchin, I. A.

Témata: ТОЖДЕСТВО, PRAGMATISM, QUANTIFICATION PROBLEM, POSSIBLE WORLD SEMANTICS, ПРОБЛЕМА КВАНТИФИКАЦИИ, IDENTITY, МОДАЛЬНАЯ ЛОГИКА, MODAL LOGIC, ПРАГМАТИЗМ, СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ

Popis souboru: application/pdf

Přístupová URL adresa: http://elar.urfu.ru/handle/10995/85300

Логика и вероятность

Témata: теория вероятностей, модальная логика, неопределенность, семантика возможных миров, логика

Логики для кросс-мировой предикации на основе D, T, S4 и S5

Autoři: Мухаметшина, Индира Искандаровна

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 82. С. 55-67

Témata: кросс-мировая предикация, модальная логика первого порядка, табличная теория доказательства, секвенциальная теория доказательства, полнота

Popis souboru: application/pdf

Relation: koha:001150470; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470

Dostupnost: https://doi.org/10.17223/1998863Х/82/5
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470

Логика для кросс-мировой предикации: теория доказательства ; A proof theory for a logic for crossworld predication

Autoři: Борисов, Евгений Васильевич (философ)

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 79. С. 5-16

Témata: модальная логика первого порядка, кросс-мировая предикация, семантика, табличная теория доказательства

Popis souboru: application/pdf

Relation: koha:001143612; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001143612

Dostupnost: https://doi.org/10.17223/1998863Х/79/1
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001143612

Admissible Inference Rules of Temporal Intransitive Logic with the Operator 'tomorrow' ; Допустимые правила временной нетранзитивной логики с оператором 'завтра'

Autoři: Rimatsky, Vitaliy V. Ganchukova, Olga V. Римацкий, Виталий В. a další

Témata: modal logic, frame and model Kripke, admissible and globally admissible inference rule, модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода

Relation: Журнал сибирского федерального университета. 2024 17(3). Journal of Siberian Federal University. Mathematics & Physics. 2024 17(3); RXOCHG

Dostupnost: https://elib.sfu-kras.ru/handle/2311/152850

The J. Fodor's language of thought hypothesis and epistemic logic

Autoři: Rayhert, Konstantin

Zdroj: Cхід, Vol 0, Iss 3(143), Pp 88-93 (2016)
Skhid; № 3(143) (2016)
Схид; № 3(143) (2016)
Схід; № 3(143) (2016)

Témata: гіпотеза мови мислення, епістемічна логіка, модальна логіка, пропозиційні установки, відношення, Philosophy. Psychology. Religion, History (General) and history of Europe, гипотеза языка мышления, эпистемическая логика, модальная логика, пропозициональные установки, отношения, 316.276+510.643, language of thought hypothesis, epistemic logic, modal logic, propositional attitudes, relations

Popis souboru: application/pdf

Přístupová URL adresa: http://skhid.kubg.edu.ua/article/download/74853/70298
https://doaj.org/article/a370c9deb37d420da74c4e83f20c56f7
http://skhid.kubg.edu.ua/article/view/74853
http://skhid.kubg.edu.ua/article/download/74853/70298
https://philpapers.org/rec/RAY-6
http://skhid.kubg.edu.ua/article/view/74853

Criterion of Global Admissibility for Logic IPC ; Критерий глобальной допустимости в логике IPC

Autoři: Rimatskiy, Vitaliy V. Римацкий, Виталий В.

Témata: modal logic, frame and model Kripke, admissible and globally admissible infere, модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода

Relation: Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics 2023 16 (5); HOXOPX

Dostupnost: https://elib.sfu-kras.ru/handle/2311/151674

МОДАЛЬНАЯ ЛОГИКА КАК СРЕДСТВО ФОРМАЛИЗАЦИИ НОРМАТИВНЫХ ДОКУМЕНТОВ

Témata: deontic logic, Противоречия в нормативных документах, модальная логика, modality, Contradictions in regulatory documents, модальность, деонтическая логика, modal logic

Итерированные модальные операторы и условия выводимости Гильберта-Бернайса

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43

Témata: модальные операторы, непротиворечивость, модальная логика, доказательство, интенсиональность

Popis souboru: application/pdf

Přístupová URL adresa: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644766

Эволюционная эпистемология и ненормальная модальная логика знания

Zdroj: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 41. С. 5-14

Témata: эпистемическая логика, эпистемология, логика знания, модальная логика, философское знание, эволюционная эпистемология

Popis souboru: application/pdf

Přístupová URL adresa: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000625485