Output details
11 - Computer Science and Informatics
Middlesex University
Return to search
Output 0 of 0 in the submission
Article title
A modal type theory for formalizing trusted communications
Type
D - Journal article
Title of journal
Journal of Applied Logic
Article number
371
Volume number
10
Issue number
1
First page of article
92
ISSN of journal
15708683
Year of publication
2012
Number of additional authors
1
Additional information
<11> This paper, published in a major logic journal, results from a collaboration with a leading researcher in the analysis of e-trust. It presents an entirely new approach to trust as a second order relation, as opposed to trust as a first order relation; and it models trust for the first time in terms of the syntactical relation of dependent types with modalities, as opposed to standard semantic accounts by modal logics. Its results prompted invitations in Paris, Groningen, CUNY. Referred already as the paper initiating this new approach, it is likely to result in further results.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
