39 search results - page 1 / 8 » Epistemic modals and informational consequence |
SYNTHESE
2010
13 years 3 months ago
2010
LOGCOM
2008
13 years 4 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...
DALT
2008
Springer
13 years 6 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
TARK
1998
Springer
13 years 9 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
AAAI
2011
12 years 4 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...