Jo\~ao Marcos

Identifiers

• name variant Jo\~ao Marcos 0.60 · backfill

Papers (12)

1. What is a logical theory? On theories containing assertions and denials math.LO · 2019 · author #3
2. Combining fragments of classical logic: When are interaction principles needed? cs.LO · 2018 · author #3
3. Algebraic Semantics for Nelson's Logic S math.LO · 2018 · author #3
4. Semi-BCI Algebras cs.LO · 2018 · author #3
5. Merging fragments of classical logic cs.LO · 2017 · author #3
6. Sequent systems for negative modalities cs.LO · 2017 · author #2
7. It ain't necessarily so: Basic sequent systems for negative modalities cs.LO · 2016 · author #2
8. TryLogic tutorial: an approach to Learning Logic by proving and refuting cs.CY · 2015 · author #2
9. Fail better: What formalized math can teach us about learning cs.CY · 2015 · author #1
10. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics cs.LO · 2014 · author #2
11. Clausal Resolution for Modal Logics of Confluence cs.LO · 2014 · author #2
12. Automatic Generation of Proof Tactics for Finite-Valued Logics cs.LO · 2010 · author #1

Mentions

• 1507.03685 #2 · backfill · confidence 0.70 Jo\~ao Marcos
• 1507.03673 #1 · backfill · confidence 0.70 Jo\~ao Marcos
• 1408.3775 #2 · backfill · confidence 0.70 Jo\~ao Marcos
• 1405.0293 #2 · backfill · confidence 0.70 Jo\~ao Marcos
• 1003.4802 #1 · backfill · confidence 0.70 Jo\~ao Marcos

Frequent Coauthors

• Carlos Caleiro 5 shared papers
• Ori Lahav 2 shared papers
• S\'ergio Marcelino 2 shared papers
• Yoni Zohar 2 shared papers
• Benjamin Bedregal 1 shared papers
• Carolina Blasio 1 shared papers
• Clare Dixon 1 shared papers
• Cl\'audia Nalon 1 shared papers
• Jocivania Pinheiro 1 shared papers
• Marco Volpe 1 shared papers
• Matthew Spinks 1 shared papers
• Patrick Terrematte 1 shared papers
• Regivan H.N. Santiago 1 shared papers
• Thiago Nascimento 1 shared papers
• Umberto Rivieccio 1 shared papers