Search results
Studia Logica > 2019 > 107 > 1 > 233-246
Journal of Philosophical Logic > 2019 > 48 > 3 > 447-469
Journal of Philosophical Logic > 2019 > 48 > 2 > 279-303
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Journal of Philosophical Logic > 2019 > 48 > 2 > 305-405
Mathematical Notes > 2018 > 103 > 3-4 > 378-394
Programming and Computer Software > 2018 > 44 > 1 > 51-61
Applied Categorical Structures > 2018 > 26 > 4 > 767-798
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 72-83
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP96 > 397-409
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 175-189
Trends in Logic > Towards Mathematical Philosophy > 187-199
Studia Logica > 2016 > 104 > 6 > 1287-1317
Studia Logica > 2016 > 104 > 6 > 1245-1265
Lecture Notes in Computer Science > Logics in AI > 262-278
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 242-256