A many-sorted polyadic modal logic I Leuştean, N Moangă, TF Şerbănuţă Fundamenta Informaticae 173 (2-3), 191-215, 2020 | 6 | 2020 |
Operational semantics and program verification using many-sorted hybrid modal logic I Leuştean, N Moangă, TF Şerbănuţă Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 6 | 2019 |
Many-sorted hybrid modal languages I Leuştean, N Moangă, TF Şerbănuţă Journal of Logical and Algebraic Methods in Programming 120, 100644, 2021 | 2 | 2021 |
From Hybrid Modal Logic to Matching Logic and Back I Leuştean, N Moangă, TF Şerbănuţă arXiv preprint arXiv:1907.05029, 2019 | 2 | 2019 |
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics N Moangă 2020 22nd International Symposium on Symbolic and Numeric Algorithms for …, 2020 | | 2020 |