Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
"There are several million Russians who can lift their head up from propaganda and try to look for other sources, and I'd say that most look for it on Telegram," he said. Stocks closed in the red Friday as investors weighed upbeat remarks from Russian President Vladimir Putin about diplomatic discussions with Ukraine against a weaker-than-expected print on U.S. consumer sentiment. Now safely in France with his spouse and three of his children, Kliuchnikov scrolls through Telegram to learn about the devastation happening in his home country. The account, "War on Fakes," was created on February 24, the same day Russian President Vladimir Putin announced a "special military operation" and troops began invading Ukraine. The page is rife with disinformation, according to The Atlantic Council's Digital Forensic Research Lab, which studies digital extremism and published a report examining the channel. The next bit isn’t clear, but Durov reportedly claimed that his resignation, dated March 21st, was an April Fools’ prank. TechCrunch implies that it was a matter of principle, but it’s hard to be clear on the wheres, whos and whys. Similarly, on April 17th, the Moscow Times quoted Durov as saying that he quit the company after being pressured to reveal account details about Ukrainians protesting the then-president Viktor Yanukovych.
from ru
