Pages that link to "Item:Q939059"

The following pages link to Alternative axiomatics and complexity of deliberative STIT theories (Q939059):

Displaying 26 items.

• Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
• A STIT logic for reasoning about social influence (Q310094) (← links)
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
• A logic for reasoning about counterfactual emotions (Q543627) (← links)
• Combinations of stit and actions (Q616041) (← links)
• Actions as events (Q692178) (← links)
• Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
• Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
• Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
• An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
• Complexity results of STIT fragments (Q1928487) (← links)
• Probabilistic stit logic and its decomposition (Q1951297) (← links)
• Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
• A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
• Probabilistic Stit Logic (Q3011971) (← links)
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
• Model Checking Strategic Equilibria (Q3614880) (← links)
• Temporal logic and its application to normative reasoning (Q4583324) (← links)
• (Q4993609) (← links)
• Reasoning about manipulation in multi-agent systems (Q5048036) (← links)
• RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
• The logic of action and control (Q6054057) (← links)
• A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
• Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
• Expressivity results for deontic logics of collective agency (Q6088592) (← links)
• Actual cause and chancy causation in \textit{stit}: a preliminary account (Q6629070) (← links)