| The middle ground-ancestral logic L Cohen, A Avron Synthese 196, 2671-2693, 2019 | 19 | 2019 |
| Formalizing scientifically applicable mathematics in a definitional framework A Avron, L Cohen Journal of Formalized Reasoning 9 (1), 53-70, 2016 | 14 | 2016 |
| Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent L Cohen, RNS Rowe Computer Science Logic (CSL), 2018 | 12 | 2018 |
| Computability Beyond Church-Turing via Choice Sequences M Bickford, L Cohen, R Constable, V Rahli Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018 | 12 | 2018 |
| Ancestral logic: A proof theoretical study L Cohen, A Avron Logic, Language, Information, and Computation: 21st International Workshop …, 2014 | 12 | 2014 |
| The effects of effects on constructivism L Cohen, SA Faro, R Tate Electronic Notes in Theoretical Computer Science 347, 87-120, 2019 | 9 | 2019 |
| Completeness for ancestral logic via a computationally-meaningful semantics L Cohen Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 8 | 2017 |
| Integrating induction and coinduction via closure operators and proof cycles L Cohen, RNS Rowe Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 7 | 2020 |
| Non-well-founded proof theory of transitive closure logic L Cohen, RNS Rowe ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020 | 6 | 2020 |
| A verified theorem prover backend supported by a monotonic library V Rahli, L Cohen, M Bickford LOGIC PROGRAMMING AND AUTOMATED REASONING, 2018 | 6 | 2018 |
| Ancestral logic and equivalent systems L Cohen Tel Aviv University, 2010 | 6 | 2010 |
| Bar induction is compatible with constructive type theory V Rahli, M Bickford, L Cohen, RL Constable Journal of the ACM (JACM) 66 (2), 1-35, 2019 | 5 | 2019 |
| Applicable mathematics in a minimal computational theory of sets A Avron, L Cohen Logical Methods in Computer Science 14, 2018 | 5 | 2018 |
| Realizing continuity using stateful computations L Cohen, V Rahli 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023 | 4 | 2023 |
| Constructing unprejudiced extensional type theories with choices via modalities L Cohen, V Rahli 7th International Conference on Formal Structures for Computation and …, 2022 | 4 | 2022 |
| Evidenced frames: A unifying framework broadening realizability models L Cohen, É Miquey, R Tate 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 4 | 2021 |
| Open bar-a brouwerian intuitionistic logic with a pinch of excluded middle M Bickford, L Cohen, RL Constable, V Rahli 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 3 | 2021 |
| Intuitionistic ancestral logic L Cohen, RL Constable Journal of Logic and Computation 29 (4), 469-486, 2019 | 3 | 2019 |
| Infinitary and Cyclic Proof Systems for Transitive Closure Logic L Cohen, RNS Rowe arXiv preprint arXiv:1802.00756, 2018 | 3 | 2018 |
| Towards automated reasoning in Herbrand structures L Cohen, RNS Rowe, Y Zohar Journal of Logic and Computation 29 (5), 693-721, 2019 | 2 | 2019 |
Vincent RahliUniversity of BirminghamVerified email at bham.ac.uk
