Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations

DOI10.1007/978-3-642-31570-1_7zbMath1297.03013OpenAlexW91270956MaRDI QIDQ3167598

Dov M. Gabbay

Publication date: 2 November 2012

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

Full work available at URL: http://orbilu.uni.lu/handle/10993/26116

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Algebraic methods (93B25) Temporal logic (03B44)

Related Items (1)

Introducing reactive Kripke semantics and arc accessibility

This page was built for publication: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations