Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 2021, том 31, выпуск 5, страницы 1330

Loading [MathJax]/jax/output/SVG/config.js

Journal of Logic and Computation

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

	Поиск публикаций
	Поиск ссылок

	RSS
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

Journal of Logic and Computation, 2021, том 31, выпуск 5, страницы 1330–1355
DOI: https://doi.org/10.1093/logcom/exab025 (Mi jlc4)

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Negation as a modality in a quantified setting

Stanislav O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

DOI: https://doi.org/10.1093/logcom/exab025

Финансовая поддержка	Номер гранта
Министерство науки и высшего образования Российской Федерации	075-15-2019-1614
Конкурс «Молодая математика России»
This work was performed at the Steklov International Mathematical Center, and supported by the Ministry of Science and Higher Education of the Russian Federation (Agreement No. 075-15-2019-1614). In addition, being a Young Russian Mathematics award winner, I would like to take this opportunity to thank the award's sponsors and jury.

Поступила в редакцию: 07.10.2020

Реферативные базы данных:

Тип публикации: Статья

Язык публикации: английский

Образцы ссылок на эту страницу:

https://www.mathnet.ru/rus/jlc4

Эта публикация цитируется в следующих 4 статьяx:

MARTIN FISCHER, CARLO NICOLAI, PABLO DOPICO, “NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE”, The Review of Symbolic Logic, 16:2 (2023), 425
Martin Fischer, “Is the HYPE about strength warranted?”, Synthese, 200:3 (2022)
Martin Fischer, “Sequent Calculi for the Propositional Logic of HYPE”, Stud Logica, 110:3 (2022), 643
Michael Mendler, Stephan Scheele, Luke Burke, Lecture Notes in Computer Science, 12842, Automated Reasoning with Analytic Tableaux and Related Methods, 2021, 446

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Статистика просмотров:
Страница аннотации:	101

Обратная связь: