Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Seyedmojtaba Mojtahedi

Profiel

Projecten

Publicaties

Activiteiten

Prijzen & Erkenningen

2 Resultaten

2024

Projectivity meets uniform post-interpolant : classical and intuitionistic logic

Seyedmojtaba MojtahediKonstantinos Papafilippou

C1 Conferentie

2024

The Σ1-provability logic of HA revisited

Seyedmojtaba Mojtahedi

Hoofdstuk in een boek in Dick de Jongh on intuitionistic and provability logics

2024