Term-sequence-dyadic deontic logic

MaRDI QIDQ5878383zbMATH OpenFDO

Authors Takahiro Sawasaki, Katsuhiko Sano

Publication date 21 February 2023

zbMATH Keywords

conditional obligationnormative conflictterm-modal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• Reasoning with rules and rights: term-modal deontic logic
• scientific article; zbMATH DE number 1932901
• Norms and deontic logic
• The Manchester twins: conflicts between directed obligations
• scientific article; zbMATH DE number 1735834

Cited in

(6)

• scientific article; zbMATH DE number 5863346 (Why is no real title available?)
• The Manchester twins: conflicts between directed obligations
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• Reasoning with rules and rights: term-modal deontic logic
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style systems for term-modal logics with equality and non-rigid terms

This page was built for publication: Term-sequence-dyadic deontic logic

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