João Marcos

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 26

Top Topics

Educational Software

Theorem Proving

Revision Operators

Top Venues

Logica Universalis

Publications

Pedro Quaresma, João Marcos, Walther Neuper
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software. CoRR (2023)
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR (2023)
Vitor Greati, João Marcos
Finite two-dimensional proof systems for non-finitely axiomatizable logics. CoRR (2022)
Vitor Greati, João Marcos
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. IJCAR (2022)
João Marcos, Walther Neuper, Pedro Quaresma
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software. CoRR (2022)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. CoRR (2021)
Carolina Blasio, Carlos Caleiro, João Marcos
What is a logical theory? On theories containing assertions and denials. Synth. 198 (22-S) (2021)
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
On Logics of Perfect Paradefinite Algebras. CoRR (2021)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX (2021)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
Nelson's logic ℒ. Log. J. IGPL 28 (6) (2020)
Antonio Diego Silva Farias, Claudio Callejas, João Marcos, Benjamín R. C. Bedregal, Regivan H. N. Santiago
Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations. IFSA/NAFIPS (2019)
Diana Costa, Manuel A. Martins, João Marcos
On Herbrand's Theorem for Hybrid Logic. FLAP 6 (2) (2019)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
Semi-BCI Algebras. J. Multiple Valued Log. Soft Comput. 32 (1-2) (2019)
Ori Lahav, João Marcos, Yoni Zohar
Correction to: Sequent Systems for Negative Modalities. Logica Universalis 13 (1) (2019)
Amy P. Felty, João Marcos
Preface. LSFA (2019)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? Soft Comput. 23 (7) (2019)
Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
Brasilia Spring on Automated Reasoning. ACM SIGLOG News 5 (1) (2018)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
Semi-BCI Algebras. CoRR (2018)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? CoRR (2018)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
S. WoLLIC (2018)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging Fragments of Classical Logic. FroCoS (2017)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging fragments of classical logic. CoRR (2017)
Ori Lahav, João Marcos, Yoni Zohar
Sequent Systems for Negative Modalities. Logica Universalis 11 (3) (2017)
Ori Lahav, João Marcos, Yoni Zohar
Sequent systems for negative modalities. CoRR (2017)
Ori Lahav, João Marcos, Yoni Zohar
It ain't necessarily so: Basic sequent systems for negative modalities. Advances in Modal Logic (2016)
Ori Lahav, João Marcos, Yoni Zohar
It ain't necessarily so: Basic sequent systems for negative modalities. CoRR (2016)
Patrick Terrematte, João Marcos
TryLogic tutorial: an approach to Learning Logic by proving and refuting. CoRR (2015)
João Marcos
Fail better: What formalized math can teach us about learning. CoRR (2015)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. 603 (2015)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. IJCAR (2014)
Adriano Dodó, João Marcos
Negative Modalities, Consistency and Determinedness. Electron. Notes Theor. Comput. Sci. 300 (2014)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. CoRR (2014)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR (2014)
Adriano Dodó, João Marcos, Flaulles Boone Bergamaschi
On classic-like fuzzy modal logics. IFSA/NAFIPS (2013)
Marco Volpe, João Marcos, Carlos Caleiro
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC (2012)
Carlos Caleiro, João Marcos
Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Claudio Callejas, João Marcos, Benjamín René Callejas Bedregal
On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. WoLLIC (2012)
Patrick Terrematte, Fabrício Costa, João Marcos
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. TICTTL (2011)
Carlos Caleiro, João Marcos
Two Many Values: An Algorithmic Outlook on Suszko's Thesis. ISMVL (2010)
João Marcos
What is a Non-truth-functional Logic? Stud Logica 92 (2) (2009)
João Marcos
Automatic Generation of Proof Tactics for Finite-Valued Logics RULE (2009)
Carlos Caleiro, João Marcos
Classic-Like Analytic Tableaux for Finite-Valued Logics. WoLLIC (2009)
João Marcos, Dalmo Mendonca
Towards Fully Automated Axiom Extraction for Finite-Valued Logics. PAAR/ESHOL (2008)
João Marcos
Possible-translations semantics for some weak classically-based paraconsistent logics. J. Appl. Non Class. Logics 18 (1) (2008)
João Marcos
On negation: Pure local rules. J. Appl. Log. 3 (1) (2005)
João Marcos, Diderik Batens, Walter Alexandre Carnielli
A Paraconsistent Decagon. J. Appl. Log. 3 (1) (2005)
Sandra de Amo, Walter Alexandre Carnielli, João Marcos
A Logical Framework for Integrating Inconsistent Information in Multiple Databases. FoIKS (2002)
Walter Alexandre Carnielli, João Marcos
Limits for Paraconsistent Calculi. Notre Dame J. Formal Log. 40 (3) (1999)