Pages that link to "Item:Q4583324"
From MaRDI portal
The following pages link to Temporal logic and its application to normative reasoning (Q4583324):
Displaying 10 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← 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)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- (Q5149060) (← 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)