Giorgio Venturi

Orcid: 0000-0001-9089-4340

According to our database1, Giorgio Venturi authored at least 24 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Modelling Afthairetic Modality.
J. Philos. Log., August, 2024

What Model Companionship can Say about the continuum Problem.
Rev. Symb. Log., 2024

ZF and its interpretations.
Ann. Pure Appl. Log., 2024

A Logic of Isolation.
Proceedings of the Logic, Language, Information, and Computation, 2024

2023
Independence Proofs in non-Classical Set Theories.
Rev. Symb. Log., December, 2023

Second order arithmetic as the model companion of set theory.
Arch. Math. Log., 2023

2022
$\mathrm {ZF}$ Between Classicality and Non-classicality.
Stud Logica, 2022

Ideal Objects for Set Theory.
J. Philos. Log., 2022

Logics of Ignorance and Being Wrong.
Log. J. IGPL, 2022

2021
Speech acts in mathematics.
Synth., 2021

Non-classical Models of ZF.
Stud Logica, 2021

Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness.
Notre Dame J. Formal Log., 2021

On Negation for Non-classical Set Theories.
J. Philos. Log., 2021

Tableaux for essence and contingency.
Log. J. IGPL, 2021

Squeezing Arguments and the Plurality of Informal Notions.
FLAP, 2021

2020
Infinite Forcing and the Generic Multiverse.
Stud Logica, 2020

A note on logics of essence and accident.
Log. J. IGPL, 2020

2017
A direct proof of the five element basis theorem.
Math. Log. Q., 2017

2016
Reflexive-Insensitive Modal Logics.
Rev. Symb. Log., 2016

Preservation of Suslin Trees and Side conditions.
J. Symb. Log., 2016

2011
User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners.
Proceedings of the Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding, 2011

2006
People, Organizations, and Processes: An Inquiry into the Adoption of User-Centered Design in Industry.
Int. J. Hum. Comput. Interact., 2006

User-centred evaluation of an e-learning repository.
Proceedings of the 4th Nordic Conference on Human-Computer Interaction 2006, Oslo, 2006

2004
Survey on the UCD integration in the industry.
Proceedings of the Third Nordic Conference on Human-Computer Interaction 2004, 2004


  Loading...