Home | Survey | Payment| Talks & Presentations | Job Opportunities
Journals   A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Sun Yatsen University Forum
1007-1792
2015 Issue 1
Fanning the Flames of Reason:A Personal View of Logic
Johan van Benthem;
..............page:2-22
On Axiomatization of Boolean Modalities
Fengkui Ju;,Xiangmei Hu;
..............page:23-36
Formal Characterizations of Exclusive CP-Law
Liying Zhang;
..............page:37-49
An Explanation for the Relational Semantics of Relevance Logic
Beihai Zhou;,Qing Jia;
..............page:50-64
A Simple Proof of the Completeness of AP AL
Philippe Balbiani;,Hans van Ditmarsch;
..............page:65-78
Automata of Update for Information Systems
Fasheng Cao;
..............page:79-94
2014 nian quan guo xian dai luo ji xue shu yan tao hui zong shu
he shu nan ;, guo jia hong ;
..............page:119-123