Eoin Moore
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Soundness and completeness results for LEA and probability semantics Journal Of Logic And Computation | 2023-01-04 | Paper |
| Soundness and completeness results for LEA and probability semantics | 2022-07-01 | Paper |
| Hybrid deduction-refutation systems for FDE-based logics The Australasian Journal of Logic | 2022-01-17 | Paper |
Research outcomes over time
This page was built for person: Eoin Moore
