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