A Dynamic Approach to Temporal Normative Logic
| Authors | |
|---|---|
| Publication date | 2017 |
| Host editors |
|
| Book title | Logic, Rationality, and Interaction |
| Book subtitle | 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 6th International Workshop Logic, Rationality, and Interaction |
| Pages (from-to) | 512-525 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | State commands refer to states, not actions. They have a temporal dimension explicitly or implicitly. They indirectly change what we are permitted, forbidden or obligated to do. This paper presents DTNL, a deontic logic meant to handle state commands based on the branching-time temporal logic PCTL∗. The models of DTNL are trees with bad states, which are identified by a propositional constant b introduced in the language. To model state commands, a dynamic operator that adds states to the extension of b is introduced. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-662-55665-8_35 |
| Downloads |
paper45
(Submitted manuscript)
|
| Permalink to this page | |