Dynamic Logic for Multi-agent (Mis) Communication

Dynamic Logic for Multi-agent (Mis) Communication

TitleDynamic Logic for Multi-agent (Mis) Communication
Publication TypeConference Paper
Year of Publication2015
AuthorsSano K, Tojo S
Conference Name2015 Seventh International Conference on Knowledge and Systems Engineering (KSE)
Date Published10/2015
Keywordsagent communication, axiomatizations, Cognition, dynamic changes, dynamic epistemic logic, dynamic logic, dynamic operators, formal logic, formal tool, Games, human agents, Knowledge engineering, logic of belief, logical formalization, logical omniscient, modal logic, multi-agent system, multi-agent systems, multiagent communication, Receivers, Syntactics, Systems engineering and theory, Transforms, virtual football game
DOI10.1109/KSE.2015.73
Undefined