Book Chapter10.1007/978-3-642-40948-6_14

A Dynamic Deontic Logic Based on Histories

Fengkui Ju,Liang Li-2013-01-01-Lecture notes in computer science

1

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Deontic logicNormal modal logicDynamic logic (digital electronics)Modal logicComputer scienceObligationPredicate logicMultimodal logic

Chat

Click to start Chat