Back to Results
First PageMeta Content
Model theory / Modal logic / Non-classical logic / Kripke semantics / Entailment / Structure / Epistemic modal logic / Linear temporal logic / Μ operator / Logic / Mathematical logic / Philosophical logic


Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger
Add to Reading List

Document Date: 2015-03-16 08:58:37

Open Document

File Size: 211,37 KB

Share Result on Facebook

City

Istanbul / /

Company

Multiagent Systems / /

Country

Turkey / /

Currency

pence / /

/

Facility

University of Amsterdam / /

IndustryTerm

insecure network / cryptographic protocols / well known security protocol / cryptographic security protocols / /

Organization

International Foundation for Autonomous Agents / University of Amsterdam / /

Person

Johan van Benthem / Rosa / Kaile Su / Alexandru Baltag / Gaia / Jan van Eijck Malvin Gattinger / Jan Figure / Joshua Sack / /

Position

Mp / register model in Figure / General / /

Technology

Encryption / cryptographic security protocols / Cryptography / dom / secret key / Public key / well known security protocol / /

URL

www.ifaamas.org / /

SocialTag