The following pages link to (Q4394901):
Displaying 17 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition (Q484199) (← links)
- A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations (Q519858) (← links)
- A deontic logic framework allowing for factual detachment (Q545154) (← links)
- Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB (Q735240) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Algorithms for tractable compliance problems (Q1633063) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- Defeasible normative reasoning (Q2054141) (← links)
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation (Q2148834) (← links)
- Action type deontic logic (Q2258815) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Contrary-To-Duties in Games (Q2900485) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)