Logics for path-dependent systems: from reactive to switch frames and beyond
The International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, November 4-5, 2024, Aveiro, Portugal.
2024
Talks
Higher-order arrows for Path-Dependent Many-Valued Systems
The International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, November 4-5, 2024, Portugal.
2024
Finite axiomatizability of logics of distributive lattices with negation
Encontro Nacional da Sociedade Portuguesa de Matemática ENSPM 2024, 10 a 12 de Julho, Universidade do Minho - Braga, Portugal
2024
Deciding intuitionistic propositional logic using a 2-valued non- deterministic logical matrix
Days In Logic 2024, Instituto Superior Técnico (Lisboa, Portugal)
2024
On the modularity of logical calculi
Workshop New Perspectives on the Objects and Grounds of Structural Rule. Language, Mind and Cognition Group - (Lisboa, Portugal)
2023
The Pros and Cons of Generalizing Truth-Functionality
MATHESIS Workshop: Beyond ClassicalOperations. Universidad Complutense de Madrid (Madrid, Spain)
2023
PNmatrices for paraconsistent and other non-classical logics
The Sixth World Congress of Paraconsistency in Torun (WCP6) - The Second Stanislaw Jaskowski Memorial Symposium (Torun)
2022
PNmatrices at work
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (Aveiro, Portugal)
2022
Advantages and challenges posed by PNmatrices
TOPOLOGY, ALGEBRA, ANDCATEGORIES IN LOGIC (Coimbra, Portugal)
2022
Decidability of combined logics, and applications
DAYS IN LOGIC 2022 (Faro, Portugal)
2022
An Unexpected Boolean Connective
World Logic Prizes Contest@Unilog2022 (Greece)
2022
Platypus: An unexpected Boolean connective
Mathematical Logic Webinar, Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, Faculdade de Ciências da Universidade de Lisboa (Portugal)
2021
Logic, modalities and compositionality (in Portuguese)
Mathematics Winter School 2020, Mathematics Department, Instituto Superior Técnico, Lisboa, Portugal
2020
On adding axioms
Days in Logic 2020, Departamento de Matemática - Faculdade de Ciências - Universidadede Lisboa (Lisboa, Portugal)
2020
Adding axioms: semantics and analytic calculi
Workshop on Logical Consequence: Calculi and Semantics, Department of Philosophy, University of Milan
2019
Analytic calculi for monadic PNmatrices
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht University, The Netherlands (Utrecth, Netherlands)
2019
Modular analysis of Hilbert calculi - Two case studies
6th World Congress and School on Universal Logic, Pôle Universitaire DE VICHY (Vichy,France)
2018
Semantics for combined Hilbert calculi
6th World Congress and School on Universal Logic Pôle Universitaire DE VICHY (Vichy,France)
2018
Can we break classical logic in two?
Programa de serminários de lógica,topologia e teoria de conjuntos, Universidade Federal de Salvador da Bahia (Salvador, Brazil)
2017
Merging fragments of classical logic
The 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Department of Computer Science at the University of Brasília (Brasília, Brazil)
2017
Disjoint fibring of non-deterministic matrices
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017), Department of Computer Science, University College London (London, United Kingdom)
2017
Characterizing finite-valuedness
Trends in Logic XVI (Consistency, Contradiction, Paraconsistency and Reasoning. Center for Logic, Epistemology and the History of Science, Universidade de Campinas (Campinas,Brasil)
2016
On the abstract characterization of broadly truth-functional logics
International Joint Conference on Automated Reasoning (IJCAR) -[GeTFun 4.0], Universidade de Coimbra (Coimbra, Portugal)
2016
Disjointly fibred logics: characterizig mixed reasoning and applications
LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications), Universidade Federal do Rio Grande do Norte (Natal, Brasil)
2016
Fibred logics: characterizing mixed reasoning and applications
Days in Logic, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (Almada, Portugal)
2016
Combined logics: characterizing mixed reasoning and applications
NAT@logic2015 (GeTFun 3.0), Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2015
Cancellation, many-valuedness, and combined logics
World Congress on Universal Logic2015, Istambul University (Istambul, Turkey)
2015
Fibring logics: decidability and conservativity: Part I e Part II
World Congress on Universal Logic2015, Istambul University (Istambul, Turkey)
2015
Conservativity of fibred logics via reflective translations
Advances in Modal logic, Groningen University (Groningen, Netherlands)
2014
On the characterization of broadly truth-functional logics
GeTFun 2.0 @ Vienna Summer of Logic2014, Vienna University of Technology (Viena, Austria)
2014
Conservatity and decidability of fibred logics
Brazilian Logic Conference (EBL -Encontro Brasileiro de Lógica), National Laboratory for Scientific Computing (LNCC) @ Petrópolis (Petrópolis, Brazil)
2014
Conservativity of logical extensions via reflective translations
Seminário de Lógica Carioca, Universidade Federal do Rio de Janeiro (Rio de Janeiro, Brazil)
2014
Conservativity and decidability of fibred logics
LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications), Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2014
On two-dimensional products of modal logics
LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications) Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2014
Conservativity and decidability of fibred logics
Seminário de Lógica e Computação Departamento de matemática -Instituto Superior Técnico - Universidade de Lisboa (Lisboa, Portugal)
2014
Conservativity and decidability of fibred logics
Logic Colloquium 2013, Universidade de Évora (Évora, Portugal)
2013
On two-dimensional products of modal logics
Seminário de Lógica e Computação Departamento de matemática -Instituto Superior Técnico - Universidade de Lisboa (Lisboa, Portugal)
2012
Finite frames for K4.3xS5 are decidable
Advances in Modal Logic, University of Copenhagen (Copenhagen, Denmark)
2012
An algebraic generalization of Kripke structures
Advances in Modal Logic LORIA, le Laboratoire Lorrain de Recherche en Informatique et ses Applications (Nancy, France)
2009
An algebraic generalization of Kripke structures
BLAST (Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology) University of Denver, Colorado (Denver, United States)
2008