Probabilistic stit logic

DOI10.1007/978-3-642-22152-1_44MaRDI QIDQ3011971zbMATH OpenOpenAlexFDO

Authors Jan 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)

Recommendations

• Probabilistic stit logic and its decomposition
• From coalition logic to STIT
• In the realm of agents
• scientific article; zbMATH DE number 6108189
• A dynamic logic of agency. I: STIT, capabilities and powers

Cites work

• A Modal Logic for Coalitional Power in Games
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Alternative axiomatics and complexity of deliberative STIT theories
• Conflicting Obligations in Multi-agent Deontic Logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Modal logic

Cited in

(13)

• Probabilistic logic
• A logic for reasoning about stochastic information
• In the realm of agents
• Doing without nature
• Probabilistic stit logic and its decomposition
• Statistical statements in probabilistic logic programming
• A STIT logic for reasoning about social influence
• scientific article; zbMATH DE number 786491 (Why is no real title available?)
• Experiments in causality and STIT
• Restricted interpolation and lack thereof in stit logic
• Reasoning about conditions in \textsf{STIT} logic
• Knowledge and subjective oughts in STIT logic
• A logic for reasoning about counterfactual emotions

Describes a project that uses

Uses Software

• SQEMA

This page was built for publication: Probabilistic stit logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011971)