Pages that link to "Item:Q543627"
From MaRDI portal
The following pages link to A logic for reasoning about counterfactual emotions (Q543627):
Displaying 11 items.
- 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 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)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling (Q3094005) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- (Q4993609) (← links)
- The logic of action and control (Q6054057) (← links)
- Formalization of cognitive-agent systems, trust, and emotions (Q6602234) (← links)
