Complexity results of STIT fragments

DOI10.1007/S11225-012-9445-4zbMATH Open1283.03036OpenAlexW1988824527MaRDI QIDQ1928487FDOQ1928487

François Schwarzentruber

Publication date: 3 January 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9445-4

zbMATH Keywords

complexityaxiomatizationSTIT logicKripke structuresatisfiability problem

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Alternating-time temporal logic
• Time and modality in the logic of agency
• Axioms for deliberative stit
• Propositional \(\text Q\)-logic
• The deliberative stit: A study of action, omission, ability, and obligation
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Modal Logic for Coalitional Power in Games
• Deontic epistemic stit logic distinguishing modes of mens rea
• Alternative axiomatics and complexity of deliberative STIT theories
• On the complexity of single-rule datalog queries.
• An axiomatization of PCTL*
• A dynamic logic of agency. I: STIT, capabilities and powers
• A logic for reasoning about counterfactual emotions
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Constructive knowledge: what agents can achieve under imperfect information
• ATL Satisfiability is Indeed EXPTIME-complete
• A Logical Analysis of Commitment Dynamics

Cited In (6)

• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Temporal logic and its application to normative reasoning
• A STIT logic for reasoning about social influence
• Decidability of an Xstit logic
• Decidability of logics based on an indeterministic metric tense logic
• Stit semantics for epistemic notions based on information disclosure in interactive settings

This page was built for publication: Complexity results of STIT fragments

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