Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
10 links
João Marcos
Researcher
PaperProceedings 10th International Workshop on Theorem Proving Components for Educational SoftwareAuthorship / preprint / 2022PaperAutomatic Generation of Proof Tactics for Finite-Valued LogicsAuthorship / preprint / 2010PaperFail better: What formalized math can teach us about learningAuthorship / preprint / 2015PaperFinite two-dimensional proof systems for non-finitely axiomatizable logicsAuthorship / preprint / 2022PaperBivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logicsAuthorship / preprint / 2014PaperClausal Resolution for Modal Logics of ConfluenceAuthorship / preprint / 2014PaperTryLogic tutorial: an approach to Learning Logic by proving and refutingAuthorship / preprint / 2015PaperIt ain't necessarily so: Basic sequent systems for negative modalitiesAuthorship / preprint / 2016