Cristina Sernadas

Identifiers

No identifiers captured yet.

Papers (3)

1. Time-Stamped Claim Logic cs.LO · 2019 · author #2
2. On probability and logic math.LO · 2016 · author #2
3. Preservation of admissible rules when combining logics math.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Amilcar Sernadas 2 shared papers
• Joao Rasga 2 shared papers
• Erisa Karafili 1 shared papers
• Jo\~ao Rasga 1 shared papers
• Luca Vigan\`o 1 shared papers