Cláudia Nalon
7 publications
4 venues
H Index 4
Affiliation
University of Bras lia, BrazilLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Resolution Calculi for Non-normal Modal Logics.
|
TABLEAUX | 2023 | 0 |
| Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.
|
CADE | 2023 | 0 |
| Efficient Local Reductions to Basic Modal Logic.
|
CADE | 2021 | 5 |
| KSP: A Resolution-based Prover for Multimodal K, Abridged Report.
|
IJCAI | 2017 | 13 |
| A Modal-Layered Resolution Calculus for K.
|
TABLEAUX | 2015 | 14 |
| Ordered Resolution for Coalition Logic.
|
TABLEAUX | 2015 | 2 |
| Anti-prenexing and Prenexing for Modal Logics.
|
JELIA | 2006 | 11 |