Undecidability of Relation-Changing Modal Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel. Undecidability of Relation-Changing Modal Logics. In Alexandre Madeira, Mário Benevides, editors, Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Volume 10669 of Lecture Notes in Computer Science, pages 1-16, Springer, 2017. [doi]

This author has not been identified. Look up 'Carlos Areces' in GoogleThis author has not been identified. Look up 'Raul Fervari' in GoogleThis author has not been identified. Look up 'Guillaume Hoffmann' in GoogleThis author has not been identified. Look up 'Mauricio Martel' in Google

runs on WebDSL