Deontic Logic in Computer Science

DOI10.1007/B98159zbMath1169.03335OpenAlexW2481393147MaRDI QIDQ5901582

Louis F. Goble

Publication date: 30 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98159

Mathematics Subject Classification ID

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

Related Items (9)

Adaptively applying modus ponens in conditional logics of normality ⋮ Quantification in some non-normal modal logics ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Two adaptive logics of norm-propositions ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ A deontic logic framework allowing for factual detachment ⋮ Obligation, contracts, and negotiation: Outlining an approach ⋮ A logic for deontic dilemmas ⋮ Contrary-to-duty reasoning: a categorical approach

This page was built for publication: Deontic Logic in Computer Science