Probabilistic stit logic and its decomposition

DOI10.1016/j.ijar.2012.08.007zbMath1264.03048OpenAlexW2021777645MaRDI QIDQ1951297

Jan M. Broersen

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

zbMATH Keywords

modal logicprobabilityagencyepistemic attitudes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Related Items (2)

Choice-driven counterfactuals ⋮ Decidability of an Xstit logic

Uses Software

• SQEMA

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

This page was built for publication: Probabilistic stit logic and its decomposition