GILBERT, DAVID R.; VENTURI, GIORGIO. Neighborhood Semantics for Logics of Unknown Truths and False Beliefs.** AUSTRALASIAN JOURNAL OF LOGIC**, v. 14, n. 1, SI, p. 246-267, 2017. Web of Science Citations: 0. (13/25095-4)

GIORGIO VENTURI. A note on the introduction of Hilbert’s Grundlagen der Geometrie.** Manuscrito**, v. 40, n. 2, p. -, Jun. 2017. (14/25342-4, 13/25095-4)

TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M.. AGM-like paraconsistent belief change.** LOGIC JOURNAL OF THE IGPL**, v. 25, n. 4, SI, p. 632-672, AUG 2017. Web of Science Citations: 0. (14/22119-2, 10/51038-0)

AGUDELO-AGUDELO, JUAN C.; CARNIELLI, WALTER. Polynomial ring calculus for modalities.** JOURNAL OF LOGIC AND COMPUTATION**, v. 27, n. 6, SI, p. 1853-1870, SEP 2017. Web of Science Citations: 0. (10/51038-0)

PIAZZA, MARIO; PULCINI, GABRIELE. Uniqueness of axiomatic extensions of cut-free classical propositional logic.** LOGIC JOURNAL OF THE IGPL**, v. 24, n. 5, p. 708-718, OCT 2016. Web of Science Citations: 0. (13/22371-0)

VELOSO, PAULO A. S.; VELOSO, SHEILA R. M.; VIANA, PETRUCIO; DE FREITAS, RENATA; BENEVIDES, MARIO; DELGADO, CARLA. On vague notions and modalities: a modular approach.** LOGIC JOURNAL OF THE IGPL**, v. 18, n. 3, p. 381-402, JUN 2010. Web of Science Citations: 0. (04/14107-2)

D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. A logical calculus for controlled monotonicity.** JOURNAL OF APPLIED LOGIC**, v. 12, n. 4, p. 558-569, DEC 2014. Web of Science Citations: 4. (13/22371-0)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem.** Entropy**, v. 18, n. 9, SEP 2016. Web of Science Citations: 2. (10/51038-0)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.; PODIACKI, RODRIGO; RODRIGUES, TARCISIO. ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY.** Review of Symbolic Logic**, v. 7, n. 3, p. 548-578, SEP 2014. Web of Science Citations: 5. (10/51038-0)

VENTURI, GIORGIO. A note on the introduction of Hilbert's Grundlagen der Geometrie.** Manuscrito**, v. 40, n. 2, p. 5-17, APR-JUN 2017. Web of Science Citations: 0. (13/25095-4, 14/25342-4)

OLIVEIRA, IGOR CARBONI; CARNIELLI, WALTER. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.** LOGIC JOURNAL OF THE IGPL**, v. 16, n. 6, p. 585-590, DEC 2008. Web of Science Citations: 1. (04/14107-2)

SERNADAS, AMILCAR; SERNADAS, CRISTINA; RASGA, JOAO; CONIGLIO, MARCELO. A Graph-theoretic Account of Logics.** JOURNAL OF LOGIC AND COMPUTATION**, v. 19, n. 6, p. 1281-1320, DEC 2009. Web of Science Citations: 7. (04/14107-2)

FREIRE, RODRIGO A.. On Existence in Set Theory.** NOTRE DAME JOURNAL OF FORMAL LOGIC**, v. 53, n. 4, p. 525-547, 2012. Web of Science Citations: 2. (09/10751-8)

CARNIELLI, WALTER. The Single-minded Pursuit of Consistency and its Weakness.** STUDIA LOGICA**, v. 97, n. 1, p. 81-100, FEB 2011. Web of Science Citations: 2. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES.** Review of Symbolic Logic**, v. 4, n. 1, p. 150-170, MAR 2011. Web of Science Citations: 6. (04/14107-2)

CARNIELLI, WALTER; CAROLINO, PIETRO K.. ADJUSTING A CONJECTURE OF ERDOS.** CONTRIBUTIONS TO DISCRETE MATHEMATICS**, v. 6, n. 1, p. 154-159, 2011. Web of Science Citations: 0. (04/14107-2)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.. Paraconsistent set theory by predicating on consistency.** JOURNAL OF LOGIC AND COMPUTATION**, v. 26, n. 1, SI, p. 97-116, FEB 2016. Web of Science Citations: 4. (10/51038-0)

RASGA, JOAO; CARNIELLI, WALTER; SERNADAS, CRISTINA. Interpolation via translations.** MATHEMATICAL LOGIC QUARTERLY**, v. 55, n. 5, p. 515-534, OCT 2009. Web of Science Citations: 1. (04/14107-2)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Cut-Based Abduction.** LOGIC JOURNAL OF THE IGPL**, v. 16, n. 6, p. 537-560, DEC 2008. Web of Science Citations: 8. (04/14107-2)

BEZIAU, JEAN-YVES; CONIGLIO, MARCELO E.. To distribute or not to distribute?.** LOGIC JOURNAL OF THE IGPL**, v. 19, n. 4, SI, p. 566-583, AUG 2011. Web of Science Citations: 3. (04/14107-2)

CONIGLIO, M. E.; SERNADAS, A.; SERNADAS, C.. Preservation by fibring of the finite model property.** JOURNAL OF LOGIC AND COMPUTATION**, v. 21, n. 2, p. 375-402, APR 2011. Web of Science Citations: 3. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. Paraconsistent Machines and their Relation to Quantum Computing.** JOURNAL OF LOGIC AND COMPUTATION**, v. 20, n. 2, p. 573-595, APR 2010. Web of Science Citations: 6. (04/14107-2)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics.** THEORETICAL COMPUTER SCIENCE**, v. 480, p. 43-68, APR 8 2013. Web of Science Citations: 7. (08/03995-5, 10/51038-0, 11/19860-4)

GILBERT, DAVID R.; VENTURI, GIORGIO. A note on logics of essence and accident.** LOGIC JOURNAL OF THE IGPL**, v. 28, n. 5, p. 881-891, OCT 2020. Web of Science Citations: 0. (14/25342-4, 13/25095-4)

PIAZZA, MARIO; PULCINI, GABRIELE. Unifying logics via context-sensitiveness.** JOURNAL OF LOGIC AND COMPUTATION**, v. 27, n. 1, p. 21-40, FEB 2017. Web of Science Citations: 6. (13/22371-0)

GILBERT, DAVID R.; VENTURI, GIORGIO. REFLEXIVE-INSENSITIVE MODAL LOGICS.** Review of Symbolic Logic**, v. 9, n. 1, p. 167-180, MAR 2016. Web of Science Citations: 2. (13/25095-4)

CONIGLIO, MARCELO ESTEBAN; DA CRUZ SILVESTRINI, LUIZ HENRIQUE. An alternative approach for quasi-truth.** LOGIC JOURNAL OF THE IGPL**, v. 22, n. 2, SI, p. 387-410, APR 2014. Web of Science Citations: 14. (10/51038-0)

CONIGLIO, MARCELO E.; FIGALLO, MARTIN. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.** STUDIA LOGICA**, v. 102, n. 3, p. 525-539, JUN 2014. Web of Science Citations: 4. (10/51038-0)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. On the set of intermediate logics between the truth- and degree-preserving Aukasiewicz logics.** LOGIC JOURNAL OF THE IGPL**, v. 24, n. 3, SI, p. 288-320, JUN 2016. Web of Science Citations: 1. (10/51038-0)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. Logics of formal inconsistency arising from systems of fuzzy logic.** LOGIC JOURNAL OF THE IGPL**, v. 22, n. 6, p. 880-904, DEC 2014. Web of Science Citations: 6. (10/51038-0)

FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity.** NOTRE DAME JOURNAL OF FORMAL LOGIC**, v. 55, n. 1, p. 91-105, 2014. Web of Science Citations: 0. (09/10751-8)

BONIOLO, GIOVANNI; D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. Adding logic to the toolbox of molecular biology.** EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE**, v. 5, n. 3, p. 399-417, OCT 2015. Web of Science Citations: 6. (13/22371-0)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities.** LOGIC JOURNAL OF THE IGPL**, v. 20, n. 2, SI, p. 458-476, APR 2012. Web of Science Citations: 2. (08/03995-5, 04/14107-2)