Alternative axiomatics and complexity of deliberative STIT theories

DOI10.1007/s10992-007-9078-7zbMath1151.03008arXiv0704.3238OpenAlexW3100069195MaRDI QIDQ939059

Andreas Herzig, Philippe Balbiani, Nicolas Troquard

Publication date: 20 August 2008

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0704.3238

zbMATH Keywords

complexityaxiomatizationlogic of agencySTIT operator

Mathematics Subject Classification ID

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

Related Items (25)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ Reasoning about manipulation in multi-agent systems ⋮ A STIT logic for reasoning about social influence ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ The logic of action and control ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Unnamed Item ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Expressivity results for deontic logics of collective agency ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ Probabilistic stit logic and its decomposition ⋮ Probabilistic Stit Logic ⋮ An axiomatic system and a tableau calculus for STIT imagination logic ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ Actions as events ⋮ A logic for reasoning about counterfactual emotions ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Model Checking Strategic Equilibria ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Time and modality in the logic of agency
• Axioms for deliberative stit
• Many-dimensional modal logics: theory and applications
• Propositional \(\text Q\)-logic
• The deliberative stit: A study of action, omission, ability, and obligation
• Products, or how to create modal logics of high complexity
• Complexity of products of modal logics
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Alternative axiomatics and complexity of deliberative STIT theories