Search results
Studia Logica > 2016 > 104 > 5 > 1003-1036
Studia Logica > 2016 > 104 > 1 > 79-114
Studia Logica > 2016 > 104 > 5 > 1051-1082
Theoretical Computer Science > 2015 > 597 > Complete > 1-17
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Journal of Logic, Language and Information > 2015 > 24 > 2 > 131-147
Procedia Computer Science > 2015 > 60 > C > 27-36
Reports on Mathematical Logic > 2015 > Vol. 50 > 3--30
Information Sciences > 2014 > 282 > Complete > 296-320
Logic and Logical Philosophy > 2014 > 23 > 3 > 329–363
Logica Universalis > 2014 > 8 > 1 > 61-81
Mathematical Notes > 2014 > 96 > 3-4 > 575-585
Studia Logica > 2014 > 102 > 6 > 1143-1166
Filozofia Nauki > 2014 > 22 > 4(88) > 53-70
Journal of Applied Logic > 2013 > 11 > 4 > 530-535
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 618-650