Pages that link to "Item:Q3601785"

The following pages link to A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785):

Displaying 21 items.

• Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
• A STIT logic for reasoning about social influence (Q310094) (← links)
• Decidability of an Xstit logic (Q456970) (← links)
• Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
• Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
• Combinations of stit and actions (Q616041) (← links)
• Making a start with the stit logic analysis of intentional action (Q652741) (← links)
• Actions as events (Q692178) (← links)
• Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
• Group announcement logic (Q975877) (← links)
• A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
• An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
• Complexity results of STIT fragments (Q1928487) (← links)
• Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
• Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
• Temporal logic and its application to normative reasoning (Q4583324) (← links)
• On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
• Reasoning about manipulation in multi-agent systems (Q5048036) (← links)
• Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
• A Logic-Based Analysis of Responsibility (Q6118734) (← links)
• A stit logic of intentionality (Q6550527) (← links)