Call for Papers: The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII) The Seventh Int […]
[talk] Second-Order Abstraction before and After Russells Paradox (Matthias Schirn) Time: 2017 Oct. 13, 13 […]
![[talk] Local Fact Change Logic, Memory Logic and Expressive Power](http://tsinghualogic.net/JRC/wp-content/themes/customizr/assets/front/img/thumb-standard-empty.png)
