Martel Mauricio

Presentations in Math-Net.Ru

1. Relation-changing modal logics: some model and proof theoretic aspects
   M. Martel
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 19, 2017 14:00