A Four-Valued Hybrid Logic with Non-dual Modal Operators - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diana Costa, Manuel A. Martins. A Four-Valued Hybrid Logic with Non-dual Modal Operators. In Luís Soares Barbosa, Alexandru Baltag, editors, Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 12005 of Lecture Notes in Computer Science, pages 88-103, Springer, 2019. [doi]

This author has not been identified. Look up 'Diana Costa' in GoogleThis author has not been identified. Look up 'Manuel A. Martins' in Google

runs on WebDSL