103 search results - page 5 / 21 » Dynamic epistemic logic with assignment |
130
Voted
LOGCOM
2008
15 years 1 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
131
Voted
IAT
2009
IEEE
14 years 11 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
LATA
2009
Springer
15 years 8 months ago
2009
Springer
140
Voted
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...