1078 search results - page 27 / 216 » The Modal Logic of Probability |
131
click to vote
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...
115
click to vote
AAAI
2008
15 years 4 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ENTCS
2008
15 years 2 months ago
2008
Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclic...
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...