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