scientific article; zbMATH DE number 4051556

MaRDI QIDQ3787968zbMATH OpenFDO

Authors Lennart Åqvist

Publication date 1987

zbMATH Keywords

adequacy of formal systemsalethic modal systemscompletenesslogic of normsmathematical constructionsobligationoverview of deontic logicparadoxespermissionpossible worlds modelstranslatability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• Introduction to deontic logic and normative systems
• scientific article; zbMATH DE number 1749193
• scientific article; zbMATH DE number 1405873
• scientific article; zbMATH DE number 49225
• scientific article; zbMATH DE number 28360

Cited in

(33)

• Norms of higher order
• A deontic approach to database integrity
• Relative contingency and bimodality
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Supercover semantics for deontic action logic
• Temporalized deontic worlds with individuals
• scientific article; zbMATH DE number 3875224 (Why is no real title available?)
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• Introducing Grades in Deontic Logics
• scientific article; zbMATH DE number 3924753 (Why is no real title available?)
• scientific article; zbMATH DE number 588315 (Why is no real title available?)
• scientific article; zbMATH DE number 1180143 (Why is no real title available?)
• scientific article; zbMATH DE number 1749193 (Why is no real title available?)
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• Be nice! How simple imperatives simplify imperative logic
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• Restall and Beall on logical pluralism: a critique
• Deontic redundancy: a fundamental challenge for deontic logic
• Introducing Exclusion Logic as a Deontic Logic
• scientific article; zbMATH DE number 1405873 (Why is no real title available?)
• Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions
• In defence of deontic diversity
• Deontic logic as a study of conditions of rationality in norm-related activities
• Introduction to deontic logic and normative systems
• Completeness of Åqvist's systems E and F
• scientific article; zbMATH DE number 6741894 (Why is no real title available?)
• scientific article; zbMATH DE number 3197097 (Why is no real title available?)
• Agential obligation as non-agential personal obligation plus agency
• Simple Axioms for Local Properties
• On some weakened forms of transitivity in the logic of conditional obligation
• A logical framework for the Islamic law
• Conditional normative reasoning as a fragment of HOL
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

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 Q3787968)