Martel Mauricio

Доклады и лекции в базе данных 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
   19 октября 2017 г. 14:00