Giuseppe Primiero

Available identifiers

zbMath Open primiero.giuseppeDBLP60/5305WikidataQ93165662 ScholiaQ93165662MaRDI QIDQ310084

List of research outcomes

Publication	Date of Publication	Type
Hyperintensions for probabilistic computations	2024-09-06	Paper
A possible worlds semantics for trustworthy non-deterministic computations	2024-09-02	Paper
A theory of change for prioritised resilient and evolvable software systems	2023-12-14	Paper
Copying safety and liveness properties of computational artefacts	2023-08-03	Paper
HTLC: hyperintensional typed lambda calculus	2022-10-12	Paper
A logic for biassed information diffusion by paranoid agents in social networks	2022-09-08	Paper
Modelling accuracy and trustworthiness of explaining agents	2022-06-24	Paper
A multi-agent depth bounded Boolean logic	2021-10-18	Paper
Robust Model Checking with Imprecise Markov Reward Models	2021-03-08	Paper
Annotated natural deduction for adaptive reasoning	2020-08-10	Paper
On the foundations of computing	2020-02-11	Paper
A logic of efficient and optimal designs	2020-01-29	Paper
The logic of identity and copy for computational artefacts	2019-01-31	Paper
The semantics of untrustworthiness	2018-03-23	Paper
Realist consequence, epistemic inference, computational correctness	2017-08-28	Paper
A computationally grounded, weighted doxastic logic	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4925871	2013-06-12	Paper
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification	2013-04-12	Paper
Type-theoretical dynamics exploring belief revision in a constructive framework	2012-08-29	Paper
A modal type theory for formalizing trusted communications	2012-05-23	Paper
Epistemic modalities	2011-11-22	Paper
Prioritized dynamic retraction function on non-monotonic information updates	2011-03-30	Paper
Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information	2010-01-29	Paper
An epistemic logic for becoming informed	2009-08-11	Paper
Majority merging by adaptive counting	2009-06-16	Paper
An epistemic constructive definition of information	2008-03-06	Paper
Information and knowledge. A constructive type-theoretical approach	2007-12-10	Paper

Research outcomes over time

This page was built for person: Giuseppe Primiero