Full Papers
- Totalistic Cellular Automata and Self-referential Sentences
- Shuwen Wu and Ming Hsiung
- Verified completeness in Henkin-style for intuitionistic propositional logic
- Huayu Guo, Dongheng Chen and Bruno Bentzen
- Reason-based detachment
- Aleks Knoks and Leendert van der Torre
- A Formalization of `Ought Not to Know' Based on STIT Logic
- Yini Huang
- Defeasible Description Logic Reasoning Based on Abstract Syntax Graph
- Dongheng Chen, Muyun Shao and Dov Gabbay
- A Logic for Temporal and Open Information
- Yiheng Wang, Zhe Lin and Shier Ju
- Assumable Logic Programming
- Zhizheng Zhang
Extended abstracts
- An Interpretable Method for Biosignal-based Gesture Recognition
- Sheng Wei and Beishui Liao
- BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic
- Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi and Dov Gabbay
- Design and Implementation of Legal Question Answering Robot
- Xiaotong Fang
- Modal Lambek Calculus with Primary Assumptions: Decidability and Context-freeness
- Zhe Lin and Xinshu Wang