Advanced search
1 file | 457.46 KB

A modal type theory for formalizing trusted communications

(2012) JOURNAL OF APPLIED LOGIC. 10(1). p.92-114
Author
Organization
Keywords
Trust, Modal Type Theory, COMMON KNOWLEDGE, LOGIC, JUSTIFICATION, SYSTEMS, TESTIMONY, Testimony, Epistemic Modalities, Common and Distributed Knowledge

Downloads

  • trust TT preprint.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 457.46 KB

Citation

Please use this url to cite or link to this publication:

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.
@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},
}

Altmetric
View in Altmetric
Web of Science
Times cited: