Marcos, João

1. TryLogic tutorial: an approach to Learning Logic by proving and refuting
   2015/07/14 by Patrick Terrematte, João Marcos, Terrematte, Patrick +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Semantic Web and Ontologies #Open Education and E-Learning
2. It ain't necessarily so: Basic sequent systems for negative modalities
   2016/06/13 by Ori Lahav, Lahav, Ori, João Marcos +3 · 1 citation
   Computer Science · #03B45 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Sequent systems for negative modalities
   2017/06/15 by Ori Lahav, Lahav, Ori, João Marcos +3 · 1 citation
   Computer Science · #03B45 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems