Programme
Student Session will be held at 16:20-17:35 in Room 226 of Wenke Building.
| Time Slot 1: 16:20 - 16:45 |
| Time Slot 2: 16:45 - 17:10 |
| Time Slot 3: 17:10 - 17:35 |
Each time slot consists of 20 minutes of presentation and 5 minutes of discussion.
| Date | Chair | Speaker | Title |
| Mon 12-6 | YANG Fan | BLANCK Rasmus | Sets of fixed points |
| FENG Shiguang | Complexity and Expressive Power of Second-Order Extended Horn Logic | ||
| ZHA Fei | Temporal logic of flux restricted | ||
| Tue 12-7 | MINICA Stefan | LIANG Zhen | Preference Logic in the Community |
| TANG Liping | Ranked Belief Revision for Repeated Statement | ||
| Wed 12-8 | MA Minghui | LIN Hsuan-Chih | Rule following and normativity |
| KASÅ Martin | Experimental logics, mechanism and knowable consistency | ||
| Thu 12-9 | FENG Shiguang | MINICA Stefan | Characterizing and Computing Pure Nash Equilibria in the Location Game on a Line |
| HUANG Zheng | Basing on Game Logic Study of Chinese Grassroots Elections Group Decision-making | ||
| ZHANG Ruoyu | A simple view of the Psychological Explanation to some Logical Paradoxes | ||
| Fri 12-10 | YANG Fan | ZHANG Shuo | Speech to Song Illusion: Evidence from Mandarin Chinese |
| HE Chuansheng | E-type interpretation without E-type pronoun: How Peirce's Graph captures the uniqueness implication of donkey sentences | ||
| FENG Yanxia | How to understand causation | ||
WEEKEND |
|||
| Mon 12-13 | MA Minghui | XIONG Zuojun | A Dynamic Preference Logic with Issue-Management |
| GALLIANI Pietro | Dynamic Dependence Logic: An update semantics for logics of imperfect information | ||
| YANG Fan | Definability in Intuitionistic Dependence Logic | ||
| Tue 12-14 | MINICA Stefan | ZHONG Shengyang | Modal Logic via Update Semantics: Completeness Results |
| MA Minghui | Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic | ||
| ZHAO Xian | A Study of Properties of the Basilar systems G^< a,b,c,d > | ||
| Wed 12-15 | FENG Shiguang | CHENG Yi-shu | Many-valued logic and vagueness |
| LIU Yang | The sorites paradox and fuzzy logic | ||
| CHOU Chun-An | A Solution to the Liar Paradox: Gaifman's Pointer Semantics | ||
| Thu 12-16 | NO STUDENT SESSION |
||
| Fri 12-17 | NO STUDENT SESSION |
||
Abstracts:
Rasmus Blanck: Sets of fixed points
Yi-shu Cheng: Many-valued logic and vagueness
Chun-An Chou, Wen-Fang Wang: A Solution to the Liar Paradox: Gaifman's Pointer Semantics
Yanxia Feng: How to understand causation
Shiguang Feng, Xishun Zhao: Complexity and Expressive Power of Second-Order Extended Horn Logic
Pietro Galliani: Dynamic Dependence Logic: An update semantics for logics of imperfect information
Meiyun Guo, Zuojun Xiong: A Dynamic Preference Logic with Issue-Management
Chuansheng He: E-type interpretation without E-type pronoun: How Peirce's Graph captures the uniqueness implication of donkey sentences
Zheng Huang, Xiaojia Tang: Basing on Game Logic Study of Chinese Grassroots Elections Group Decision-making Mechanism
Martin Kaså: Experimental logics, mechanism and knowable consistency
Zhen Liang: Preference Logic in the Community
Hsuan-Chih Lin: Rule following and normativity
Yang Liu: The sorites paradox and fuzzy logic
Minghui Ma: Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic
Stefan Minica: Characterizing and Computing Pure Nash Equilibria in the Location Game on a Line
Liping Tang: Ranked Belief Revision for Repeated Statement
Fan Yang: Definability in Intuitionistic Dependence Logic
Fei Zha: Temporal logic of flux restricted
Shuo Zhang: Speech to Song Illusion: Evidence from Mandarin Chinese
Ruoyu Zhang: A simple view of the Psychological Explanation to some Logical Paradoxes
Xian Zhao: A Study of Properties of the Basilar systems $G^{< a,b,c,d >}$
Shengyang Zhong: Modal Logic via Update Semantics: Completeness Results