Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/160952
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Multi-Modal CTL: Completeness, complexity, and an application |
Autor: | Agotnes, Thomas; Hoek, Wiebe van der; Rodríguez-Aguilar, Juan Antonio CSIC ORCID CVN ; Sierra, Carles CSIC ORCID ; Wooldridge, Michael | Palabras clave: | Normative systems Social laws Computation tree logic (ctl) |
Fecha de publicación: | 2009 | Editor: | Springer Nature | Citación: | Studia Logica 92: 1- 26 (2009) | Resumen: | We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V. | URI: | http://hdl.handle.net/10261/160952 | DOI: | 10.1007/s11225-009-9184-3 | Identificadores: | doi: 10.1007/s11225-009-9184-3 issn: 0039-3215 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
3
checked on 10-abr-2024
Page view(s)
250
checked on 18-abr-2024
Download(s)
116
checked on 18-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.