Back to Results
First PageMeta Content
Modal logic / Non-classical logic / Kripke semantics / Classical cipher / Four-square cipher / Logic / Philosophical logic / Mathematical logic


Logics for Insecure Communication Alexandru Baltag* Abstract W e present a general setting for dynarnlc-epistemic logics for communication, which can express announcements of different types (public or private, truthful
Add to Reading List

Document Date: 2011-10-23 10:31:50

Open Document

File Size: 1.010,68 KB

Share Result on Facebook

City

Torino / /

Company

Collective Agent Based Systems / B C Ag / E Ag / B U / /

Country

Netherlands / Italy / /

Currency

USD / /

Facility

Utrecht University / /

IndustryTerm

multi-agent systems / communication protocols / security protocols / e - s / e-~ / /

Organization

Utrecht University / European Summer School on Logic / Language and Information / /

Person

Morgan Kauf / Bob / Alice / /

Position

speaker / /

Product

P R E / /

Technology

http / security protocols / communication protocols / /

URL

http /

SocialTag