Giorgio Venturi

30 papers C 2Misc 2Journal 25

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Ecumenical Propositional Tableau. Stud Logica Renato Leme, Marcelo Esteban Coniglio, Bruno Lopes, Giorgio Venturi
2025	C	`conf`	Insensitive Games: Game Semantics for Modal Insensitivity. WoLLIC Can Baskent, David R. Gilbert, Giorgio Venturi
2025	J	`jnl`	Logics of spatial isolation. J. Log. Comput. Can Baskent, David R. Gilbert, Giorgio Venturi
2024	C	`conf`	A Logic of Isolation. WoLLIC Can Baskent, David R. Gilbert, Giorgio Venturi
2024	J	`jnl`	Modelling Afthairetic Modality. J. Philos. Log. Giorgio Venturi, Pedro Teixeira Yago
2024	J	`jnl`	What Model Companionship can Say about the continuum Problem. Rev. Symb. Log. Giorgio Venturi, Matteo Viale
2024	J	`jnl`	ZF and its interpretations. Ann. Pure Appl. Log. Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
2023	J	`jnl`	Independence Proofs in non-Classical Set Theories. Rev. Symb. Log. Sourav Tarafder, Giorgio Venturi
2023	J	`jnl`	Second order arithmetic as the model companion of set theory. Arch. Math. Log. Giorgio Venturi, Matteo Viale
2022	J	`jnl`	$\mathrm {ZF}$ Between Classicality and Non-classicality. Stud Logica Sourav Tarafder, Giorgio Venturi
2022	J	`jnl`	Ideal Objects for Set Theory. J. Philos. Log. Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
2022	J	`jnl`	Logics of Ignorance and Being Wrong. Log. J. IGPL David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi
2021	J	`jnl`	Non-classical Models of ZF. Stud Logica Santiago Jockwich Martinez, Giorgio Venturi
2021	J	`jnl`	On Negation for Non-classical Set Theories. J. Philos. Log. Santiago Jockwich Martinez, Giorgio Venturi
2021	J	`jnl`	Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. Notre Dame J. Formal Log. David R. Gilbert, Giorgio Venturi
2021	J	`jnl`	Speech acts in mathematics. Synth. Marco Ruffino, Luca San Mauro, Giorgio Venturi
2021	J	`jnl`	Squeezing Arguments and the Plurality of Informal Notions. FLAP Edson Bezerra, Giorgio Venturi
2021	J	`jnl`	Tableaux for essence and contingency. Log. J. IGPL Giorgio Venturi, Pedro Teixeira Yago
2020	J	`jnl`	A note on logics of essence and accident. Log. J. IGPL David R. Gilbert, Giorgio Venturi
2020	J	`jnl`	Infinite Forcing and the Generic Multiverse. Stud Logica Giorgio Venturi
2020	J	`jnl`	On Forms of Justification in Set Theory. Australas. J. Log. Neil Barton, Claudio Ternullo, Giorgio Venturi
2020	J	`jnl`	On Forms of Justification in Set Theory. Australas. J. Log. Neil Barton, Claudio Ternullo, Giorgio Venturi
2017	J	`jnl`	A direct proof of the five element basis theorem. Math. Log. Q. Boban Velickovic, Giorgio Venturi
2017	J	`jnl`	Neighborhood Semantics for Logics of Unknown Truths and False Beliefs. Australas. J. Log. David R. Gilbert, Giorgio Venturi
2016	J	`jnl`	Preservation of Suslin Trees and Side conditions. J. Symb. Log. Giorgio Venturi
2016	J	`jnl`	Reflexive-Insensitive Modal Logics. Rev. Symb. Log. David R. Gilbert, Giorgio Venturi
2011	—	`ch.`	User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners. Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding Nik Bessis, Peter Norrington, Fatos Xhafa, Giorgio Venturi
2006	J	`jnl`	People, Organizations, and Processes: An Inquiry into the Adoption of User-Centered Design in Industry. Int. J. Hum. Comput. Interact. Giorgio Venturi, Jimmy Troost, Timo Jokela
2006	Misc	`conf`	User-centred evaluation of an e-learning repository. NordiCHI Giorgio Venturi, Nik Bessis
2004	Misc	`conf`	Survey on the UCD integration in the industry. NordiCHI Giorgio Venturi, Jimmy Troost