The following pages link to Proof Analysis in Deontic Logics (Q2879296):
Displaying 6 items.
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Mīmāṃsā Deontic Logic: Proof Theory and Applications (Q3455779) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
