Cláudia Nalon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Resolution calculi for non-normal modal logics	2024-05-17	Paper
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic	2024-04-26	Paper
Local is best: efficient reductions to modal logic \textsf{K} Journal of Automated Reasoning	2022-12-12	Paper
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K} Journal of Automated Reasoning	2022-12-12	Paper
Local reductions for the modal cube	2022-12-07	Paper
Efficient local reductions to basic modal logic	2021-12-01	Paper
A resolution prover for coalition logic	2021-06-22	Paper
A resolution prover for coalition logic (available as arXiv preprint)	2021-06-22	Paper
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments Journal of Automated Reasoning	2020-03-03	Paper
Modal Resolution ACM Transactions on Computational Logic	2019-11-22	Paper
A resolution-based calculus for preferential logics	2018-10-18	Paper
\({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K Automated Reasoning	2016-09-05	Paper
A calculus for automatic verification of Petri nets based on resolution and dynamic logics	2016-08-01	Paper
Towards resolution-based reasoning for connected logics	2016-05-10	Paper
A Modal-Layered Resolution Calculus for K Lecture Notes in Computer Science	2015-12-11	Paper
Ordered resolution for coalition logic Lecture Notes in Computer Science	2015-12-11	Paper
A resolution-based calculus for coalition logic Journal Of Logic And Computation	2015-01-12	Paper
Clausal resolution for modal logics of confluence Automated Reasoning	2014-09-26	Paper
Anti-prenexing and Prenexing for Modal Logics Logics in Artificial Intelligence	2008-10-30	Paper
Clausal resolution for normal modal logics Journal of Algorithms	2007-11-30	Paper

Research outcomes over time

This page was built for person: Cláudia Nalon