Publication:4938871
From MaRDI portal
zbMath0940.03009MaRDI QIDQ4938871
Publication date: 23 February 2000
deontic logictemporal logicÅqvist's dyadic deontic logicArrow's Axiomvan Eck's system of temporally relative deontic logic
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)
Related Items
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition