Tableau-based decision procedures for hybrid logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Tableau-based decision procedures for hybrid logic
|
| Id. |
47197024 |
| Idioma |
inglés
|
| Titulo |
Tableau-based decision procedures for hybrid logic |
| Autor(es) |
Thomas Bolander
Torben
Bra Üner
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1266
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision procedures are usually not based on tableau systems, a kind of formal proof procedure that lends itself towards computer implementation. In this paper we give four different tableaubased decision procedures for a very expressive hybrid logic including the universal modality; three of the procedures are based on different tableau systems, and one procedure is based on a Gentzen system. The decision procedures make use of so-called loop-checks which is a technique standardly used in connection with tableau systems for other logics, namely prefixed tableau systems for transitive modal logics, as well as prefixed tableau systems for certain description logics. The loop-checks used in our four decision procedures are similar, but the four proof systems on which the procedures are based constitute a spectrum of different systems: prefixed and internalized systems, tableau and Gentzen systems.
|
| Tipo |
application/pdf
|
| Palabras clave |
Hybrid logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.imm.dtu.dk/~tb/HybridTableaus.pdf
[References] 10.1.1.36.5145
[References] 10.1.1.104.6985
[References] 10.1.1.36.2380
[References] 10.1.1.36.5616
[References] 10.1.1.23.4671
[References] 10.1.1.136.3880
[References] 10.1.1.69.9672
[References] 10.1.1.85.494
[References] 10.1.1.86.4064
[References] 10.1.1.140.7935
[References] 10.1.1.140.8325
[References] 10.1.1.107.1948
[References] 10.1.1.67.9525
[References] 10.1.1.75.4315
[References] 10.1.1.88.7458
[References] 10.1.1.96.2484
[References] 10.1.1.140.8007
|
| Fecha de contribución |
26-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
