Alternative axiomatics and complexity of deliberative STIT theories
From MaRDI portal
Publication:939059
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
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