逻辑学研究
- A Logic that Captures βP on Ordered Structures*
- Truth-makers for Universal Statements*
- Some Results on Rewritability in Modal Logics over Tree Models*
- Logicality and the Logicism of Frege Arithmetic and Simple Type Theory*
- Connectivity of Discourse Connectives and Its Role for Generalized Argumentation
- Lyu Cheng’s Thoughts on Hetuvidyā and Buddhist Argumentation