The following pages link to Giuseppe Primiero (Q310084):
Displaying 27 items.
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- Majority merging by adaptive counting (Q1024133) (← links)
- The semantics of untrustworthiness (Q1708483) (← links)
- Modelling accuracy and trustworthiness of explaining agents (Q2148840) (← links)
- A multi-agent depth bounded Boolean logic (Q2234050) (← links)
- Information and knowledge. A constructive type-theoretical approach (Q2464131) (← links)
- Type-Theoretical Dynamics (Q2908764) (← links)
- (Q3086719) (← links)
- (Q3101106) (← links)
- Annotated Natural Deduction for Adaptive Reasoning (Q3305674) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- The logic of identity and copy for computational artefacts (Q4612442) (← links)
- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification (Q4914515) (← links)
- (Q4925871) (← links)
- (Q5039101) (← links)
- A logic for biassed information diffusion by paranoid agents in social networks (Q5103732) (← links)
- A logic of efficient and optimal designs (Q5212560) (← links)
- On the Foundations of Computing (Q5215514) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)
- (Q5446440) (← links)
- A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
- Copying safety and liveness properties of computational artefacts (Q6166691) (← links)
- Robust Model Checking with Imprecise Markov Reward Models (Q6362407) (← links)
- A possible worlds semantics for trustworthy non-deterministic computations (Q6596679) (← links)
- Hyperintensions for probabilistic computations (Q6599534) (← links)
