Research output

  1. Reasoning about arbitrary natural numbers from a Carnapian perspective

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to journal › Article › peer-review

View all (7) »

Projects

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

    Project: Grant fulfilment › Total grant fulfilment

View all () »

Activities

  1. A modal framework for reasoning about arbitrary natural numbers

    Activity: Conference talk types › Invited talk

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

    Activity: Conference talk types › Invited talk

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

    Activity: Conference talk types › Invited talk

View all (11) »

ID: 147370