A Dynamic Approach to Temporal Normative Logic
| Autor: | Ju, F., Grilletti, G., Baltag, A., Seligman, J., Yamada, T. |
|---|---|
| Přispěvatelé: | ILLC (FNWI), Logic and Language (ILLC, FNWI/FGw) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings, 512-525 STARTPAGE=512;ENDPAGE=525;TITLE=Logic, Rationality, and Interaction Logic, Rationality, and Interaction ISBN: 9783662556641 LORI |
| Popis: | 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 \({{\mathrm{\mathsf {DTNL}}}}{}\), a deontic logic meant to handle state commands based on the branching-time temporal logic \(\mathsf {PCTL}^*\). The models of \({{\mathrm{\mathsf {DTNL}}}}{}\) are trees with bad states, which are identified by a propositional constant \(\mathfrak {b}\) introduced in the language. To model state commands, a dynamic operator that adds states to the extension of \(\mathfrak {b}\) is introduced. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|