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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.