scientific article

From MaRDI portal

Publication:2901194

Jump to:navigation, search

zbMath1242.03042MaRDI QIDQ2901194

Jan van Eijck, William D. Wu, Hans P. van Ditmarsch

Publication date: 17 July 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verification multi-agent system protocol dynamic epistemic logic math puzzle

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

The language of social software ⋮ Hidden protocols: modifying our expectations in an evolving world

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2901194&oldid=15859196"