scientific article; zbMATH DE number 1405878

zbMATH Open0940.03009MaRDI QIDQ4938871FDOQ4938871

Authors: Jörg Hansen 

Publication date: 23 February 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)