Login / Signup
Benjamin Siskind
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Database
Abductive Reasoning
High Order
Predicate Logic
Top Venues
Rev. Symb. Log.
</>
Publications
</>
Benjamin Siskind
,
Paolo Mancosu
,
Stewart Shapiro
A note on Choice Principles in second-order Logic.
Rev. Symb. Log.
16 (2) (2023)