Probabilistic Stit Logic

DOI10.1007/978-3-642-22152-1_44zbMath1341.03033OpenAlexW165571564MaRDI QIDQ3011971

Jan M. Broersen

Publication date: 29 June 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22152-1_44

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Uses Software

• Unnamed Item

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