23 citations · 28 across the 4 of their papers we have counts for
4 papers
The COHERENT Experiment: 2026 Update
M. Adhikari, M. Ahn, D. Amaya Matamoros +107
The COHERENT experiment measures neutrino-induced recoils from coherent elastic neutrino-nucleus scattering (CEvNS) with multiple nuclear targets at the Spallation Neutron Source (…
When Names Are Not Commonly Known: Epistemic Logic with Assignments
Yanjing Wang, Jeremy Seligman
In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly. This is unreasonable for various applications. Inspired by term modal logic and assi…
Teaching natural deduction in the right order with Natural Deduction Planner
Jeremy Seligman, Declan Thompson
We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are constructed, together with a {\LaTeX} package…
Facebook and the Epistemic Logic of Friendship
Jeremy Seligman, Fenrong Liu, Patrick Girard
This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric…