Pages that link to "Item:Q4583324"
From MaRDI portal
The following pages link to Temporal logic and its application to normative reasoning (Q4583324):
Displaying 7 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Orthogonal frames and indexed relations (Q2148794) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
