Amanda Vidal

Identifiers

• name variant Amanda Vidal 0.60 · backfill

Papers (3)

1. Axiomatizing logics of finite G\"odel-Kripke models math.LO · 2026 · author #1
2. On the local consequence of modal Product logic: standard completeness and decidability math.LO · 2023 · author #1
3. On Transitive modal many-valued logics cs.LO · 2019 · author #1

Mentions

• 2605.15810 #1 · arxiv_oai · confidence 0.70 Amanda Vidal

Frequent Coauthors

• Ricardo O. Rodriguez 1 shared papers