Default Modal Systems as Algebraic Updates

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro. Default Modal Systems as Algebraic Updates. In Manuel A. Martins, Igor Sedlár, editors, Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Volume 12569 of Lecture Notes in Computer Science, pages 103-119, Springer, 2020. [doi]

Authors

Valentin Cassano

This author has not been identified. Look up 'Valentin Cassano' in Google

Raul Fervari

This author has not been identified. Look up 'Raul Fervari' in Google

Carlos Areces

This author has not been identified. Look up 'Carlos Areces' in Google

Pablo F. Castro

This author has not been identified. Look up 'Pablo F. Castro' in Google