LS Formeel redeneren

Fingerprint

Dive into the research topics where LS Formeel redeneren is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
View full fingerprint

Publication network from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Axiomatizing modal inclusion logic and its variants

    Anttila, A., Häggblom, M. & Yang, F., 27 Jan 2025, (E-pub ahead of print) In: Archive for Mathematical Logic. 103102.

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

    Open Access

  • Intermediate Logics in the Setting of Team Semantics

    Bezhanishvili, N. & Yang, F., 26 Jul 2024, Dick de Jongh on Intuitionistic and Provability Logics. Springer, p. 231-271 41 p. (Outstanding Contributions to Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File

  • Ontological Purity for Formal Proofs

    Martinot, R., Jun 2024, In: Review of Symbolic Logic. 17, 2, p. 395-434 40 p.

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

    Open Access
    File

  • Proof Theory for Lax Logic

    Iemhoff, R., 2024, Dick de Jongh on Intuitionistic and Provability Logics . Bezhanishvili, N., Iemhoff, R. & Yang, F. (eds.). Cham: Springer, p. 203–229 27 p. (Outstanding Contributions to Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File

  • State-Based Modal Logics for Free Choice

    Aloni, M., Anttila, A. & Yang, F., Nov 2024, In: Notre Dame Journal of Formal Logic. 65, 4, p. 367-413 47 p.

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

View all 25 research outputs
View all 62 activities