Handbook of theoretical computer science (vol. B)
Modal logic
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal of Logic and Computation
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A temporal logic for Markov chains
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Dynamic Epistemic Logic
Conflicting obligations in multi-agent deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
| Hi-index | 0.00 |
We define an extension of stit logic that encompasses subjective probabilities representing beliefs about simultaneous choice exertion of other agents. This semantics enables us to express that an agent sees to it that a condition obtains under a minimal chance of success. We first define the fragment of XSTIT where choice exertion is not collective. Then we add lower bounds for the probability of effects to the stit syntax, and define the semantics of the newly formed stit operator in terms of subjective probabilities concerning choice exertion of other agents. We show how the resulting probabilistic stit logic faithfully generalizes the non-probabilistic XSTIT fragment. In a second step we analyze the defined probabilistic stit logic by decomposing it into an XSTIT fragment and a purely epistemic fragment. The resulting epistemic logic for grades of believes is a weak modal logic with a neighborhood semantics combining probabilistic and modal logic theory.