| Publication | Date of Publication | Type |
|---|
| Hyperintensions for probabilistic computations | 2024-09-06 | Paper |
A possible worlds semantics for trustworthy non-deterministic computations
International Journal of Approximate Reasoning | 2024-09-02 | Paper |
A theory of change for prioritised resilient and evolvable software systems
Synthese | 2023-12-14 | Paper |
Copying safety and liveness properties of computational artefacts
Journal Of Logic And Computation | 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
Journal Of Logic And Computation | 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
Outstanding Contributions to Logic | 2020-08-10 | Paper |
| On the foundations of computing | 2020-02-11 | Paper |
A logic of efficient and optimal designs
Journal Of Logic And Computation | 2020-01-29 | Paper |
The logic of identity and copy for computational artefacts
Journal Of Logic And Computation | 2019-01-31 | Paper |
The semantics of untrustworthiness
Topoi | 2018-03-23 | Paper |
Realist consequence, epistemic inference, computational correctness
Studies in Universal Logic | 2017-08-28 | Paper |
A computationally grounded, weighted doxastic logic
Studia Logica | 2016-09-07 | Paper |
| scientific article; zbMATH DE number 6174931 (Why is no real title available?) | 2013-06-12 | Paper |
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification
Logic, Language, and Computation | 2013-04-12 | Paper |
Type-theoretical dynamics exploring belief revision in a constructive framework
The Realism-Antirealism Debate in the Age of Alternative Logics | 2012-08-29 | Paper |
A modal type theory for formalizing trusted communications
Journal of Applied Logic | 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
History and Philosophy of Logic | 2010-01-29 | Paper |
An epistemic logic for becoming informed
Synthese | 2009-08-11 | Paper |
Majority merging by adaptive counting
Synthese | 2009-06-16 | Paper |
| An epistemic constructive definition of information | 2008-03-06 | Paper |
Information and knowledge. A constructive type-theoretical approach
Logic, Epistemology, and the Unity of Science | 2007-12-10 | Paper |
