Search results
Artificial Intelligence > 2018 > 256 > C > 35-67
Information and Computation > 2017 > 255 > P2 > 243-261
Electronic Notes in Theoretical Computer Science > 2014 > 308 > Complete > 109-128
Studia Logica > 2014 > 102 > 1 > 41-66
Studia Logica > 2013 > 101 > 5 > 1061-1072
Annals of Pure and Applied Logic > 2009 > 159 > 1-2 > 146-170
Theoretical Computer Science > 2008 > 390 > 2-3 > 230-247
Journal of Philosophical Logic > 2006 > 35 > 2 > 209-223