Giuseppe Primiero
IMT School for Advanced Studies Lucca(IT)University of Milan(IT)Mylan (Switzerland)(CH)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Computability, Logic, AI Algorithms, Logic, programming, and type systems, Access Control and Trust, Semantic Web and Ontologies
Most-Cited Works
- → Acts of Knowledge: History, Philosophy and Logic(2009)72 cited
- → On malfunctioning software(2014)56 cited
- → Miscomputation(2013)40 cited
- → A modal type theory for formalizing trusted communications(2011)34 cited
- → The Semantics of Untrustworthiness(2013)28 cited
- → Effects of misinformation diffusion during a pandemic(2020)25 cited
- → An epistemic logic for becoming informed(2008)24 cited