Publication:4394901
From MaRDI portal
zbMath0913.03009MaRDI QIDQ4394901
Publication date: 7 June 1999
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
Related Items
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms, A dynamic deontic logic for complex contracts, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition, A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations, A deontic logic framework allowing for factual detachment, Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB, Law and logic: a review from an argumentation perspective, Algorithms for tractable compliance problems, Unsettling preferential semantics, Defeasible normative reasoning, How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation, Action type deontic logic, Contrary-to-duty reasoning: a categorical approach, Contrary-To-Duties in Games, Principles Of Talmudic Logic, On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G, $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts