Результаты

  1. Reasoning about arbitrary natural numbers from a Carnapian perspective

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. Belnap–Dunn modal logics: truth constants vs. truth values

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Hintikka’s independence-friendly logic meets Nelson’s realizability

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Просмотреть все (7) »

Проекты

  1. Санкт-Петербургский международный математический институт имени Леонарда Эйлера: 2021 г. этап 3

    Проект: исполнение гранта/договора › исполнение гранта/договора в целом

Просмотреть все () »

Деятельность

  1. A modal framework for reasoning about arbitrary natural numbers

    Деятельность: Выступление на научной конференции › выступление с приглашенным докладом

  2. Dosen-style and Routley-style semantics for negation in a quantified setting

    Деятельность: Выступление на научной конференции › выступление с приглашенным докладом

  3. On negation as a modal operator in a quantified setting

    Деятельность: Выступление на научной конференции › выступление с приглашенным докладом

Просмотреть все (11) »

ID: 147370