Giorgio Venturi

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 20

Top Topics

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Can Baskent, David R. Gilbert, Giorgio Venturi
A Logic of Isolation. WoLLIC (2024)
Giorgio Venturi, Pedro Teixeira Yago
Modelling Afthairetic Modality. J. Philos. Log. 53 (4) (2024)
Giorgio Venturi, Matteo Viale
What Model Companionship can Say about the continuum Problem. Rev. Symb. Log. 17 (2) (2024)
Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
ZF and its interpretations. Ann. Pure Appl. Log. 175 (6) (2024)
Giorgio Venturi, Matteo Viale
Second order arithmetic as the model companion of set theory. Arch. Math. Log. 62 (1) (2023)
Sourav Tarafder, Giorgio Venturi
Independence Proofs in non-Classical Set Theories. Rev. Symb. Log. 16 (4) (2023)
David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi
Logics of Ignorance and Being Wrong. Log. J. IGPL 30 (5) (2022)
Sourav Tarafder, Giorgio Venturi
$\mathrm {ZF}$ Between Classicality and Non-classicality. Stud Logica 110 (1) (2022)
Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
Ideal Objects for Set Theory. J. Philos. Log. 51 (3) (2022)
Giorgio Venturi, Pedro Teixeira Yago
Tableaux for essence and contingency. Log. J. IGPL 29 (5) (2021)
Marco Ruffino, Luca San Mauro, Giorgio Venturi
Speech acts in mathematics. Synth. 198 (10) (2021)
Santiago Jockwich Martinez, Giorgio Venturi
Non-classical Models of ZF. Stud Logica 109 (3) (2021)
David R. Gilbert, Giorgio Venturi
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. Notre Dame J. Formal Log. 62 (2) (2021)
Edson Bezerra, Giorgio Venturi
Squeezing Arguments and the Plurality of Informal Notions. FLAP 8 (7) (2021)
Santiago Jockwich Martinez, Giorgio Venturi
On Negation for Non-classical Set Theories. J. Philos. Log. 50 (3) (2021)
David R. Gilbert, Giorgio Venturi
A note on logics of essence and accident. Log. J. IGPL 28 (5) (2020)
Giorgio Venturi
Infinite Forcing and the Generic Multiverse. Stud Logica 108 (2) (2020)
Boban Velickovic, Giorgio Venturi
A direct proof of the five element basis theorem. Math. Log. Q. 63 (3-4) (2017)
Giorgio Venturi
Preservation of Suslin Trees and Side conditions. J. Symb. Log. 81 (2) (2016)
David R. Gilbert, Giorgio Venturi
Reflexive-Insensitive Modal Logics. Rev. Symb. Log. 9 (1) (2016)
Giorgio Venturi, Jimmy Troost, Timo Jokela
People, Organizations, and Processes: An Inquiry into the Adoption of User-Centered Design in Industry. Int. J. Hum. Comput. Interact. 21 (2) (2006)
Giorgio Venturi, Nik Bessis
User-centred evaluation of an e-learning repository. NordiCHI (2006)
Giorgio Venturi, Jimmy Troost
Survey on the UCD integration in the industry. NordiCHI (2004)