Items where Author is "Nalon, Cláudia"

Journal Article

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2022) Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 66 (4): 4. pp. 639-666. ISSN 0168-7433

Contribution in Book/Report/Proceedings

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2024) Model Construction for Modal Clauses. In: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II. Lecture Notes in Computer Science . Springer, Cham, pp. 3-23. ISBN 9783031635007

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2023) Buy One Get 14 Free : Evaluating Local Reductions for Modal Logic. In: Automated Deduction – CADE 29 :. Lecture Notes in Computer Science . Springer, Cham, pp. 382-400. ISBN 9783031384981

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758