Reactive Kripke Models and Contrary to Duty Obligations

DOI10.1007/978-3-540-70525-3_13zbMath1144.03012OpenAlexW1726136540MaRDI QIDQ3522048

Dov M. Gabbay

Publication date: 28 August 2008

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (11)

Violation games: a new foundation for deontic logic ★ ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ Completeness theorems for reactive modal logics ⋮ Introducing reactive modal tableaux ⋮ Global view on reactivity: switch graphs and their logics ⋮ Principles Of Talmudic Logic ⋮ A theory of hierarchical consequence and conditionals ⋮ Modal logics of reactive frames ⋮ Fibring argumentation frames ⋮ Reactive automata ⋮ REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

This page was built for publication: Reactive Kripke Models and Contrary to Duty Obligations