scientific article; zbMATH DE number 1405878

MaRDI QIDQ4938871zbMATH OpenFDO

Authors Jörg Hansen

Publication date 23 February 2000

zbMATH Keywords

deontic logictemporal logicÅqvist's dyadic deontic logicArrow's Axiomvan Eck's system of temporally relative deontic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 3875224
• Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• Temporal Deontic Defeasible Logic: An Analytical Approach
• scientific article; zbMATH DE number 2101971
• Temporal alethic-deontic logic and semantic tableaux
• Quantified temporal alethic-deontic logic
• A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
• scientific article; zbMATH DE number 4170873

Cited in

(3)

• Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938871)