Proof theory, Semantics and Algebra for Normative System
English
Sun, Xin[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2013
Logic, Rationality, and Interaction, 4th International workshop
Yes
International
4th International Workshop on Logic, Rationality and Interaction