Search results
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 107-124
Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230
Bulletin of the Section of Logic > 2020 > 49 > 3 > 255-268
Bulletin of the Section of Logic > 2019 > 48 > 2 > 99-116
Logic and Logical Philosophy > 2019 > 28 > 2 > 277-330
Logic and Logical Philosophy > 2019 > 28 > 1 > 137-155
Studia Logica > 2019 > 107 > 6 > 1279-1312
Studia Logica > 2019 > 107 > 4 > 781-808
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Studia Logica > 2019 > 107 > 4 > 613-637
Archive for Mathematical Logic > 2019 > 58 > 1-2 > 155-181
Archive for Mathematical Logic > 2019 > 58 > 1-2 > 119-136
Theoretical Computer Science > 2018 > 706 > C > 83-116
Reports on Mathematical Logic > 2018 > Vol. 53 > 43--65