BibTeX records: Giorgio Venturi

download as .bib file

@article{DBLP:journals/logcom/BaskentGV25,
  author       = {Can Baskent and
                  David R. Gilbert and
                  Giorgio Venturi},
  title        = {Logics of spatial isolation},
  journal      = {J. Log. Comput.},
  volume       = {35},
  number       = {7},
  year         = {2025},
  url          = {https://doi.org/10.1093/logcom/exaf046},
  doi          = {10.1093/LOGCOM/EXAF046},
  timestamp    = {Tue, 07 Oct 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BaskentGV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/LemeCLV25,
  author       = {Renato Leme and
                  Marcelo Esteban Coniglio and
                  Bruno Lopes and
                  Giorgio Venturi},
  title        = {Ecumenical Propositional Tableau},
  journal      = {Stud Logica},
  volume       = {113},
  number       = {2},
  pages        = {539--566},
  year         = {2025},
  url          = {https://doi.org/10.1007/s11225-023-10091-0},
  doi          = {10.1007/S11225-023-10091-0},
  timestamp    = {Sat, 31 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LemeCLV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BaskentGV25,
  author       = {Can Baskent and
                  David R. Gilbert and
                  Giorgio Venturi},
  editor       = {Dexter Kozen and
                  Ruy J. G. B. de Queiroz},
  title        = {Insensitive Games: Game Semantics for Modal Insensitivity},
  booktitle    = {Logic, Language, Information, and Computation - 31st International
                  Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-99536-1\_14},
  doi          = {10.1007/978-3-031-99536-1\_14},
  timestamp    = {Sun, 17 Aug 2025 21:37:33 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BaskentGV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MartinezTV24,
  author       = {Santiago Jockwich Martinez and
                  Sourav Tarafder and
                  Giorgio Venturi},
  title        = {{ZF} and its interpretations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {175},
  number       = {6},
  pages        = {103427},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.apal.2024.103427},
  doi          = {10.1016/J.APAL.2024.103427},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MartinezTV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jphil/VenturiY24,
  author       = {Giorgio Venturi and
                  Pedro Teixeira Yago},
  title        = {Modelling Afthairetic Modality},
  journal      = {J. Philos. Log.},
  volume       = {53},
  number       = {4},
  pages        = {1027--1065},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10992-024-09757-4},
  doi          = {10.1007/S10992-024-09757-4},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/VenturiY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/VenturiV24,
  author       = {Giorgio Venturi and
                  Matteo Viale},
  title        = {What Model Companionship can Say about the continuum Problem},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {546--585},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000102},
  doi          = {10.1017/S1755020323000102},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/VenturiV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/BaskentGV24,
  author       = {Can Baskent and
                  David R. Gilbert and
                  Giorgio Venturi},
  editor       = {George Metcalfe and
                  Thomas Studer and
                  Ruy J. G. B. de Queiroz},
  title        = {A Logic of Isolation},
  booktitle    = {Logic, Language, Information, and Computation - 30th International
                  Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {36--46},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62687-6\_3},
  doi          = {10.1007/978-3-031-62687-6\_3},
  timestamp    = {Wed, 19 Jun 2024 22:24:10 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BaskentGV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/VenturiV23,
  author       = {Giorgio Venturi and
                  Matteo Viale},
  title        = {Second order arithmetic as the model companion of set theory},
  journal      = {Arch. Math. Log.},
  volume       = {62},
  number       = {1-2},
  pages        = {29--53},
  year         = {2023},
  url          = {https://doi.org/10.1007/s00153-022-00831-9},
  doi          = {10.1007/S00153-022-00831-9},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/VenturiV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/TarafderV23,
  author       = {Sourav Tarafder and
                  Giorgio Venturi},
  title        = {Independence Proofs in non-Classical Set Theories},
  journal      = {Rev. Symb. Log.},
  volume       = {16},
  number       = {4},
  pages        = {979--1010},
  year         = {2023},
  url          = {https://doi.org/10.1017/s1755020321000095},
  doi          = {10.1017/S1755020321000095},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsl/TarafderV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GilbertKPV22,
  author       = {David R. Gilbert and
                  Ekaterina Kubyshkina and
                  Mattia Petrolo and
                  Giorgio Venturi},
  title        = {Logics of Ignorance and Being Wrong},
  journal      = {Log. J. {IGPL}},
  volume       = {30},
  number       = {5},
  pages        = {870--885},
  year         = {2022},
  url          = {https://doi.org/10.1093/jigpal/jzab025},
  doi          = {10.1093/JIGPAL/JZAB025},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GilbertKPV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jphil/MartinezTV22,
  author       = {Santiago Jockwich Martinez and
                  Sourav Tarafder and
                  Giorgio Venturi},
  title        = {Ideal Objects for Set Theory},
  journal      = {J. Philos. Log.},
  volume       = {51},
  number       = {3},
  pages        = {583--602},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10992-021-09642-4},
  doi          = {10.1007/S10992-021-09642-4},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jphil/MartinezTV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/TarafderV22,
  author       = {Sourav Tarafder and
                  Giorgio Venturi},
  title        = {{\textdollar}{\textbackslash}mathrm \{ZF\}{\textdollar} Between Classicality
                  and Non-classicality},
  journal      = {Stud Logica},
  volume       = {110},
  number       = {1},
  pages        = {189--218},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11225-021-09959-w},
  doi          = {10.1007/S11225-021-09959-W},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/TarafderV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/BezerraV21,
  author       = {Edson Bezerra and
                  Giorgio Venturi},
  title        = {Squeezing Arguments and the Plurality of Informal Notions},
  journal      = {{FLAP}},
  volume       = {8},
  number       = {7},
  pages        = {1899--1916},
  year         = {2021},
  url          = {https://collegepublications.co.uk/ifcolog/?00049},
  timestamp    = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/flap/BezerraV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/VenturiY21,
  author       = {Giorgio Venturi and
                  Pedro Teixeira Yago},
  title        = {Tableaux for essence and contingency},
  journal      = {Log. J. {IGPL}},
  volume       = {29},
  number       = {5},
  pages        = {719--738},
  year         = {2021},
  url          = {https://doi.org/10.1093/jigpal/jzaa016},
  doi          = {10.1093/JIGPAL/JZAA016},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/VenturiY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jphil/MartinezV21,
  author       = {Santiago Jockwich Martinez and
                  Giorgio Venturi},
  title        = {On Negation for Non-classical Set Theories},
  journal      = {J. Philos. Log.},
  volume       = {50},
  number       = {3},
  pages        = {549--570},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10992-020-09576-3},
  doi          = {10.1007/S10992-020-09576-3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/MartinezV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/GilbertV21,
  author       = {David R. Gilbert and
                  Giorgio Venturi},
  title        = {Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal
                  Logic of Generic Absoluteness},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {62},
  number       = {2},
  year         = {2021},
  url          = {https://doi.org/10.1215/00294527-2021-0014},
  doi          = {10.1215/00294527-2021-0014},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/GilbertV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/MartinezV21,
  author       = {Santiago Jockwich Martinez and
                  Giorgio Venturi},
  title        = {Non-classical Models of {ZF}},
  journal      = {Stud Logica},
  volume       = {109},
  number       = {3},
  pages        = {509--537},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11225-020-09915-0},
  doi          = {10.1007/S11225-020-09915-0},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MartinezV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/RuffinoMV21,
  author       = {Marco Ruffino and
                  Luca San Mauro and
                  Giorgio Venturi},
  title        = {Speech acts in mathematics},
  journal      = {Synth.},
  volume       = {198},
  number       = {10},
  pages        = {10063--10087},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11229-020-02702-3},
  doi          = {10.1007/S11229-020-02702-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/RuffinoMV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/auasjlog/BartonTV20,
  author       = {Neil Barton and
                  Claudio Ternullo and
                  Giorgio Venturi},
  title        = {On Forms of Justification in Set Theory},
  journal      = {Australas. J. Log.},
  volume       = {17},
  number       = {4},
  pages        = {158},
  year         = {2020},
  url          = {https://doi.org/10.26686/ajl.v17i4.5354},
  doi          = {10.26686/AJL.V17I4.5354},
  timestamp    = {Mon, 19 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/auasjlog/BartonTV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/auasjlog/BartonTV20a,
  author       = {Neil Barton and
                  Claudio Ternullo and
                  Giorgio Venturi},
  title        = {On Forms of Justification in Set Theory},
  journal      = {Australas. J. Log.},
  volume       = {17},
  number       = {4},
  pages        = {158--200},
  year         = {2020},
  url          = {https://doi.org/10.26686/ajl.v17i4.6579},
  doi          = {10.26686/AJL.V17I4.6579},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/auasjlog/BartonTV20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GilbertV20,
  author       = {David R. Gilbert and
                  Giorgio Venturi},
  title        = {A note on logics of essence and accident},
  journal      = {Log. J. {IGPL}},
  volume       = {28},
  number       = {5},
  pages        = {881--891},
  year         = {2020},
  url          = {https://doi.org/10.1093/jigpal/jzy065},
  doi          = {10.1093/JIGPAL/JZY065},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GilbertV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Venturi20,
  author       = {Giorgio Venturi},
  title        = {Infinite Forcing and the Generic Multiverse},
  journal      = {Stud Logica},
  volume       = {108},
  number       = {2},
  pages        = {277--290},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11225-019-09851-8},
  doi          = {10.1007/S11225-019-09851-8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Venturi20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/auasjlog/GilbertV17,
  author       = {David R. Gilbert and
                  Giorgio Venturi},
  title        = {Neighborhood Semantics for Logics of Unknown Truths and False Beliefs},
  journal      = {Australas. J. Log.},
  volume       = {14},
  number       = {1},
  year         = {2017},
  url          = {https://doi.org/10.26686/ajl.v14i1.4033},
  doi          = {10.26686/AJL.V14I1.4033},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/auasjlog/GilbertV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/VelickovicV17,
  author       = {Boban Velickovic and
                  Giorgio Venturi},
  title        = {A direct proof of the five element basis theorem},
  journal      = {Math. Log. Q.},
  volume       = {63},
  number       = {3-4},
  pages        = {289--298},
  year         = {2017},
  url          = {https://doi.org/10.1002/malq.201600015},
  doi          = {10.1002/MALQ.201600015},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/VelickovicV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Venturi16,
  author       = {Giorgio Venturi},
  title        = {Preservation of Suslin Trees and Side conditions},
  journal      = {J. Symb. Log.},
  volume       = {81},
  number       = {2},
  pages        = {483--492},
  year         = {2016},
  url          = {https://doi.org/10.1017/jsl.2015.14},
  doi          = {10.1017/JSL.2015.14},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Venturi16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/GilbertV16,
  author       = {David R. Gilbert and
                  Giorgio Venturi},
  title        = {Reflexive-Insensitive Modal Logics},
  journal      = {Rev. Symb. Log.},
  volume       = {9},
  number       = {1},
  pages        = {167--180},
  year         = {2016},
  url          = {https://doi.org/10.1017/S175502031500026X},
  doi          = {10.1017/S175502031500026X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/GilbertV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/sci/BessisNXV11,
  author       = {Nik Bessis and
                  Peter Norrington and
                  Fatos Xhafa and
                  Giorgio Venturi},
  editor       = {Thanasis Daradoumis and
                  Santi Caball{\'{e}} and
                  Angel A. Juan and
                  Fatos Xhafa},
  title        = {User-Centred Evaluation and Organisational Acceptability of a Distributed
                  Repository to Support Communities of Learners},
  booktitle    = {Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding},
  series       = {Studies in Computational Intelligence},
  pages        = {1--25},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19814-4\_1},
  doi          = {10.1007/978-3-642-19814-4\_1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/BessisNXV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijhci/VenturiTJ06,
  author       = {Giorgio Venturi and
                  Jimmy Troost and
                  Timo Jokela},
  title        = {People, Organizations, and Processes: An Inquiry into the Adoption
                  of User-Centered Design in Industry},
  journal      = {Int. J. Hum. Comput. Interact.},
  volume       = {21},
  number       = {2},
  pages        = {219--238},
  year         = {2006},
  url          = {https://doi.org/10.1207/s15327590ijhc2102\_6},
  doi          = {10.1207/S15327590IJHC2102\_6},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijhci/VenturiTJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nordichi/VenturiB06,
  author       = {Giorgio Venturi and
                  Nik Bessis},
  editor       = {Anders I. M{\o}rch and
                  Konrad Morgan and
                  Tone Bratteteig and
                  Gautam Ghosh and
                  Dag Svanaes},
  title        = {User-centred evaluation of an e-learning repository},
  booktitle    = {Proceedings of the 4th Nordic Conference on Human-Computer Interaction
                  2006, Oslo, Norway, October 14-18, 2006},
  pages        = {203--211},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1182475.1182497},
  doi          = {10.1145/1182475.1182497},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nordichi/VenturiB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nordichi/VenturiT04,
  author       = {Giorgio Venturi and
                  Jimmy Troost},
  editor       = {Roope Raisamo},
  title        = {Survey on the {UCD} integration in the industry},
  booktitle    = {Proceedings of the Third Nordic Conference on Human-Computer Interaction
                  2004, Tampere, Finland, October 23-27, 2004},
  pages        = {449--452},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028014.1028092},
  doi          = {10.1145/1028014.1028092},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nordichi/VenturiT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.