Cláudia Nalon
9 publications
4 venues
H Index 4
Affiliation
University of Bras lia, BrazilLinks
| Name | Venue | Year | citations |
|---|---|---|---|
From Modal Sequent Calculi to Modal Resolution.
|
CADE | 2025 | 0 |
| Refined Tableau Systems for Some Modal Logics of Confluence.
|
TABLEAUX | 2025 | 1 |
| Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.
|
CADE | 2023 | 1 |
| Resolution Calculi for Non-normal Modal Logics.
|
TABLEAUX | 2023 | 1 |
| Efficient Local Reductions to Basic Modal Logic.
|
CADE | 2021 | 8 |
| KSP: A Resolution-based Prover for Multimodal K, Abridged Report.
|
IJCAI | 2017 | 12 |
| A Modal-Layered Resolution Calculus for K.
|
TABLEAUX | 2015 | 13 |
| Ordered Resolution for Coalition Logic.
|
TABLEAUX | 2015 | 3 |
| Anti-prenexing and Prenexing for Modal Logics.
|
JELIA | 2006 | 10 |