Probabilistic stit logic and its decomposition
From MaRDI portal
Publication:1951297
DOI10.1016/j.ijar.2012.08.007zbMath1264.03048MaRDI QIDQ1951297
Publication date: 4 June 2013
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2012.08.007
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B48: Probability and inductive logic
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Alternative axiomatics and complexity of deliberative STIT theories
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- Conflicting Obligations in Multi-agent Deontic Logic
- A Modal Logic for Coalitional Power in Games
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA