Show
Sort by
-
The semantics of untrustworthiness
-
- Journal Article
- A2
- open access
J-Calc : a typed lambda calculus for intuitionistic justification logic
-
A taxonomy of errors for information systems
-
- Conference Paper
- C1
- open access
A multi-modal dependent type theory for representing data accessibility in a network
-
Alleged assassins: realist and constructivist semantics for modal modiļ¬cation
-
- Journal Article
- A1
- open access
Offline and online data: on upgrading functional information to knowledge
-
- Conference Paper
- C1
- open access
On the necessity of (sometimes) being synthetic : comment on Poggiolesi
-
A contextual type theory with judgemental modalities for reasoning from open assumptions
-
- Conference Paper
- C1
- open access
A formal approach to vague expressions with indexicals
-
- Journal Article
- A1
- open access
A modal type theory for formalizing trusted communications