Search results
Annals of Pure and Applied Logic > 2008 > 155 > 2 > 86-96
Philosophical Studies > 2008 > 140 > 2 > 229-246
Studia Logica > 2008 > 88 > 2 > 263-294
Annals of Pure and Applied Logic > 2007 > 147 > 3 > 187-227
Annals of Pure and Applied Logic > 2007 > 147 > 1-2 > 23-47
Annals of Pure and Applied Logic > 2007 > 146 > 1 > 72-90
Archive for Mathematical Logic > 2007 > 46 > 1 > 9-14
Higher-Order and Symbolic Computation > 2007 > 20 > 4 > 403-429
Journal of Automated Reasoning > 2007 > 38 > 1-3 > 261-271
Journal of Logic, Language and Information > 2007 > 16 > 1 > 91-115
Annals of Pure and Applied Logic > 2006 > 142 > 1-3 > 125-201
Annals of Pure and Applied Logic > 2006 > 142 > 1-3 > 269-295
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Journal of Philosophical Logic > 2006 > 35 > 6 > 621-651
Journal of Logic, Language and Information > 2006 > 15 > 3 > 179-194
Studia Logica > 2006 > 82 > 1 > 7-23
Studia Logica > 2006 > 82 > 2 > 271-291