The following pages link to (Q4394901):
Displaying 25 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)
- Double moral hayard, monitoring and the nature of contracts (Q698213) (← 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)
- Moral dilemmas, disjunctive obligations, and Kant's principle that ``ought'' implies ``can'' (Q1182172) (← links)
- Algorithms for tractable compliance problems (Q1633063) (← links)
- A logic of comparative obligation (Q1922824) (← 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)
- Reactive Kripke Models and Contrary to Duty Obligations (Q3522048) (← 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)
- On some weakened forms of transitivity in the logic of conditional obligation (Q6544539) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)
- Norms and deontic logic (Q6602222) (← links)
- Problems for factive accounts of assertion (Q6645326) (← links)
