Search results
Journal of Philosophical Logic > 2019 > 48 > 2 > 279-303
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 242-256
Journal of Logic, Language and Information > 2015 > 24 > 2 > 193-209
Studia Logica > 2015 > 103 > 6 > 1225-1244
Annals of Pure and Applied Logic > 2009 > 159 > 1-2 > 171-186
Studia Logica > 2008 > 88 > 2 > 263-294
Theoretical Computer Science > 2000 > 232 > 1-2 > 273-298
Studia Logica > 2000 > 65 > 3 > 383-416
Theoretical Computer Science > 1999 > 212 > 1-2 > 141-155