Login / Signup
Hongkai Yin
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Consistent Query Answering
Horizontal Fragmentation
Automata Theoretic
Ordered Sets
Top Venues
CILC
Stud Logica
</>
Publications
</>
Hongkai Yin
,
Matteo Pascucci
Decidability of Ordered Fragments of FOL via Modal Translation.
CILC
(2024)
Hongkai Yin
,
Hanoch Ben-Yami
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics.
Stud Logica
111 (2) (2023)