Ghent University Academic Bibliography

Advanced

A modal type theory for formalizing trusted communications

Giuseppe Primiero UGent and Mariarosaria Taddeo (2012) JOURNAL OF APPLIED LOGIC. 10(1). p.92-114
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
keyword
Trust, Modal Type Theory, COMMON KNOWLEDGE, LOGIC, JUSTIFICATION, SYSTEMS, TESTIMONY, Testimony, Epistemic Modalities, Common and Distributed Knowledge
journal title
JOURNAL OF APPLIED LOGIC
J. Appl. Log.
volume
10
issue
1
article_number
JAL252
pages
92 - 114
Web of Science type
Article
Web of Science id
000300802700007
JCR category
LOGIC
JCR impact factor
0.419 (2012)
JCR rank
13/20 (2012)
JCR quartile
3 (2012)
ISSN
1570-8683
DOI
10.1016/j.jal.2011.12.002
language
English
UGent publication?
yes
classification
A1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1976260
handle
http://hdl.handle.net/1854/LU-1976260
date created
2011-12-30 15:07:14
date last changed
2012-09-12 10:01:18
@article{1976260,
  articleno    = {JAL252},
  author       = {Primiero, Giuseppe and Taddeo, Mariarosaria},
  issn         = {1570-8683},
  journal      = {JOURNAL OF APPLIED LOGIC},
  keyword      = {Trust,Modal Type Theory,COMMON KNOWLEDGE,LOGIC,JUSTIFICATION,SYSTEMS,TESTIMONY,Testimony,Epistemic Modalities,Common and Distributed Knowledge},
  language     = {eng},
  number       = {1},
  pages        = {JAL252:92--JAL252:114},
  title        = {A modal type theory for formalizing trusted communications},
  url          = {http://dx.doi.org/10.1016/j.jal.2011.12.002},
  volume       = {10},
  year         = {2012},
}

Chicago
Primiero, Giuseppe, and Mariarosaria Taddeo. 2012. “A Modal Type Theory for Formalizing Trusted Communications.” Journal of Applied Logic 10 (1): 92–114.
APA
Primiero, G., & Taddeo, M. (2012). A modal type theory for formalizing trusted communications. JOURNAL OF APPLIED LOGIC, 10(1), 92–114.
Vancouver
1.
Primiero G, Taddeo M. A modal type theory for formalizing trusted communications. JOURNAL OF APPLIED LOGIC. 2012;10(1):92–114.
MLA
Primiero, Giuseppe, and Mariarosaria Taddeo. “A Modal Type Theory for Formalizing Trusted Communications.” JOURNAL OF APPLIED LOGIC 10.1 (2012): 92–114. Print.