Cláudia Nalon

Available identifiers

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}	2022-12-12	Paper
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}	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
https://portal.mardi4nfdi.de/entity/Q4994892	2021-06-22	Paper
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments	2020-03-03	Paper
Modal Resolution	2019-11-22	Paper
A resolution-based calculus for preferential logics	2018-10-18	Paper
: A Resolution-Based Prover for Multimodal K	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	2015-12-11	Paper
Ordered Resolution for Coalition Logic	2015-12-11	Paper
A resolution-based calculus for Coalition Logic	2015-01-12	Paper
Clausal Resolution for Modal Logics of Confluence	2014-09-26	Paper
Anti-prenexing and Prenexing for Modal Logics	2008-10-30	Paper
Clausal resolution for normal modal logics	2007-11-30	Paper

This page was built for person: Cláudia Nalon