Tableau Reasoning and Programming with Dynamic First Order Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Tableau Reasoning and Programming with Dynamic First Order Logic
|
| Id. |
46242246 |
| Idioma |
inglés
|
| Titulo |
Tableau Reasoning and Programming with Dynamic First Order Logic |
| Autor(es) |
Jan van Eijck
Juan Heguiabehere
Breanndan O Nuallain
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7057
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Dynamic First Order Logic (DFOL) results from interpreting quantification over a variable v as change of valuation over the v position, conjunction as sequential composition, disjunction as nondeterministic choice, and negation as (negated) test for continuation. We present a tableau style calculus for DFOL with explicit (simultaneous) binding, prove its soundness and completeness, and point out its relevance for programming with DFOL, for automated program analysis including loop invariant detection, and for semantics of natural language. Next, we extend this to an infinitary calculus for DFOL with iteration and connect up with other work in dynamic logic.
|
| Tipo |
application/postscript
|
| Palabras clave |
Dynamic 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/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cwi.nl/~jve/papers/01/EijHegNua01a.ps.gz
[References] 10.1.1.37.2292
[References] 10.1.1.29.1567
[References] 10.1.1.39.5582
[References] 10.1.1.14.6936
[References] 10.1.1.107.3428
[References] 10.1.1.15.8552
[References] 10.1.1.9.2308
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
