Giuseppe Primiero
Giuseppe Primiero
Department of Philosophy, University of Milan
Verified email at unimi.it - Homepage
TitleCited byYear
Information and knowledge: a constructive type-theoretical approach
G Primiero
Springer Science & Business Media, 2007
492007
On malfunctioning software
L Floridi, N Fresco, G Primiero
Synthese 192 (4), 1199-1220, 2015
262015
Miscomputation
N Fresco, G Primiero
Philosophy & Technology 26 (3), 253-272, 2013
242013
A modal type theory for formalizing trusted communications
G Primiero, M Taddeo
Journal of Applied Logic 10 (1), 92-114, 2012
222012
An epistemic logic for becoming informed
G Primiero
Synthese 167 (2), 363-389, 2009
162009
A contextual type theory with judgemental modalities for reasoning from open assumptions
G Primiero
Logique & Analyse 220, 579-600, 2012
152012
Majority merging by adaptive counting
G Primiero, J Meheus
Synthese 165 (2), 203-223, 2008
152008
Constructive contextual modal judgments for reasoning from open assumptions
G Primiero
Computability in Europe, 336-345, 2010
132010
Two kinds of procedural semantics for privative modification
G Primiero, B Jespersen
JSAI International Symposium on Artificial Intelligence, 252-271, 2009
132009
A taxonomy of errors for information systems
G Primiero
Minds and Machines 24 (3), 249-273, 2014
122014
Epistemic modalities
G Primiero
Acts of Knowledge: History, Philosophy and Logic 9, 207-232, 2009
122009
An epistemic constructive definition of information
G Primiero
Logique et Analyse 50 (200), 391-416, 2007
122007
A typed natural deduction calculus to reason about secure trust
G Primiero, F Raimondi
2014 Twelfth Annual International Conference on Privacy, Security and Trust …, 2014
112014
Alleged assassins: realist and constructivist semantics for modal modification
B Jespersen, G Primiero
International Tbilisi Symposium on Logic, Language, and Computation, 94-114, 2011
112011
Information in the philosophy of computer science
G Primiero
The Routledge handbook of philosophy of information, 90-106, 2016
92016
The semantics of untrustworthiness
G Primiero, L Kosolosky
Topoi 35 (1), 253-266, 2016
82016
Minimizing transitive trust threats in software management systems
J Boender, G Primiero, F Raimondi
2015 13th Annual Conference on Privacy, Security and Trust (PST), 191-198, 2015
82015
A framework for trustworthiness assessment based on fidelity in cyber and physical domains
V De Florio, G Primiero
Procedia Computer Science 52, 996-1003, 2015
82015
Modeling human behaviour with higher order logic: Insider threats
J Boender, MG Ivanova, F Kammüller, G Primiero
2014 Workshop on Socio-Technical Aspects in Security and Trust, 31-39, 2014
82014
The realism-antirealism debate in the age of alternative logics
S Rahman, G Primiero, M Marion
Springer Science & Business Media, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20