We stand with Ukraine  

Alfredo R. Freire

Orcid: 0000-0003-0132-355X

Affiliations:
  • University of Aveiro, Portugal


According to our database1, Alfredo R. Freire authored at least 7 papers between 2019 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Characterization of Lattice Properties Within Modal Extensions.
[BibTeX]
[DOI]
Alfredo R. Freire
,
Manuel A. Martins
Proceedings of the Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, September, 2025

Non-tightness in class Theory and second-order Arithmetic.
[BibTeX]
[DOI]
Alfredo Roque Freire
,
Kameryn J. Williams
J. Symb. Log., 2025

Modality across different logics.
[BibTeX]
[DOI]
Alfredo Roque Freire
,
Manuel A. Martins
Log. J. IGPL, 2025

2024
The Institution of Many-Logics Modal Logic.
[BibTeX]
[DOI]
Alfredo R. Freire
,
Manuel A. Martins
,
Alexandre Madeira
Proceedings of the Recent Trends in Algebraic Development Techniques, 2024

2022
Does Set Theory Really Ground Arithmetic Truth?
[BibTeX]
[DOI]
Alfredo Roque Freire
Axioms, 2022

2021
Bi-Interpretation in Weak Set Theories.
[BibTeX]
[DOI]
Alfredo Roque Freire
,
Joel David Hamkins
J. Symb. Log., 2021

2019
Review of "The Significance of the New Logic" Willard Van Orman Quine. Edited and Translated by Walter Carnielli, Frederique Janssen-Lauret, and William Pickering. Cambridge University Press, Cambridge, UK, 2018, pp. 1-200. ISBN-10: 1107179025 ISBN-13: 978-1107179028.
[BibTeX]
[DOI]
Alfredo Roque Freire
Axioms, 2019


  Loading...