The following pages link to (Q2735784):
Displaying 6 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Leibniz and the Square: A Deontic Logic for the<i>Vir Bonus</i> (Q2963947) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
