Search results
Journal of Philosophical Logic > 2019 > 48 > 5 > 867-884
Logica Universalis > 2018 > 12 > 3-4 > 423-460
Studia Logica > 2019 > 107 > 1 > 1-5
Logica Universalis > 2018 > 12 > 1-2 > 83-100
Studia Logica > 2019 > 107 > 1 > 109-144
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167
Studia Logica > 2018 > 106 > 2 > 397-415
Studia Logica > 2018 > 106 > 2 > 237-279
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Studia Logica > 2017 > 105 > 3 > 553-586
Studia Logica > 2017 > 105 > 3 > 649-664
Journal of Logic, Language and Information > 2016 > 25 > 3-4 > 335-354
Journal of Philosophical Logic > 2016 > 45 > 2 > 183-197
Journal of Automated Reasoning > 2016 > 56 > 2 > 155-200
Journal of Logic, Language and Information > 2016 > 25 > 2 > 215-268
Journal of Philosophical Logic > 2015 > 44 > 3 > 237-258
Archive for Mathematical Logic > 2015 > 54 > 7-8 > 921-940
European Journal for Philosophy of Science > 2015 > 5 > 3 > 399-417
Journal of Automated Reasoning > 2015 > 55 > 3 > 191-198
Journal of Automated Reasoning > 2015 > 55 > 3 > 295-306