Reflexive-insensitive modal logics DR Gilbert, G Venturi
The Review of Symbolic Logic 9 (1), 167-180, 2016
22 2016 Proper forcing remastered B Velickovic, G Venturi
arXiv preprint arXiv:1110.0610, 2011
19 2011 On forms of justification in set theory N Barton, C Ternullo, G Venturi
The Australasian Journal of Logic 17 (4), 158-200, 2020
17 2020 A neighborhood semantics for the logics of unknown truths and of false beliefs G Venturi, D Gilbert
The Australasian Journal of Logic 14 (1), 246-267, 2017
16 2017 Speech acts in mathematics M Ruffino, L San Mauro, G Venturi
Synthese 198 (10), 10063-10087, 2021
15 2021 Non-classical models of ZF S Jockwich Martinez, G Venturi
Studia Logica 109 (3), 509-537, 2021
14 2021 Forcing, multiverse and realism G Venturi
Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of …, 2016
11 2016 Independence proofs in non-classical set theories S Tarafder, G Venturi
The Review of Symbolic Logic 16 (4), 979-1010, 2023
10 2023 A note on logics of essence and accident DR Gilbert, G Venturi
Logic Journal of the IGPL 28 (5), 881-891, 2020
9 2020 Naturalness in Mathematics G Venturi, L San Mauro
From Logic to Practice Italian Studies in the Philosophy of Mathematics, 277-313, 2015
9 * 2015 Hilbert, completeness and geometry G Venturi
Rivista Italiana di Filosofia Analitica Junior 9 (2), 152-180, 2018
8 2018 Infinite forcing and the generic multiverse G Venturi
Studia Logica 108 (2), 277-290, 2020
7 2020 The model companions of set theory G Venturi, M Viale
arXiv preprint arXiv:1909.13372, 2019
7 2019 Genericity and arbitrariness G Venturi
7 2019 On negation for non-classical set theories S Jockwich Martinez, G Venturi
Journal of Philosophical Logic 50, 549-570, 2021
6 2021 At least one black sheep: Pragmatics and mathematical language M Ruffino, L San Mauro, G Venturi
Journal of Pragmatics 160, 114-119, 2020
6 2020 Axioms and postulates as speech acts JV Schmidt, G Venturi
Erkenntnis, 1-20, 2023
5 2023 Ideal objects for set theory S Jockwich, S Tarafder, G Venturi
Journal of Philosophical Logic, 1-20, 2022
5 2022 Between Classicality and Non-classicalityS Tarafder, G Venturi
Studia Logica 110 (1), 189-218, 2022
5 2022 On the naturalness of new axioms in set theory G Venturi
preprint, 2016
5 2016