1078 search results - page 103 / 216 » The Modal Logic of Probability |
126
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...
156
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
155
click to vote
JAIR
2010
15 years 2 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
160
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
118
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...