A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
We present a logic for real time systems specification which is an extension of first order dynamic logic by adding (a) arbitrary atomic actions rather than only assignments, (b) variables over actions which allow to specify systems partially, and (c) explicit time. The logic is algebraized using cl...
Guardado en:
| Autores principales: | Baum, Gabriel Alfredo, Frias, Marcelo F., Maibaum, Tom |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1999
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/137397 |
| Aporte de: |
Ejemplares similares
-
Satisfiability calculus: The semantic counterpart of a proof calculus in general logics
por: Lopez Pombo, C.G., et al. -
Satisfiability calculus: The semantic counterpart of a proof calculus in general logics
por: López Pombo, Carlos Gustavo
Publicado: (2013) -
Strategies for real-time system specification /
por: Hatley, Derek J., 1934-
Publicado: (1988) -
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, M., et al. -
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, Manuela
Publicado: (2009)