Invariant-free deduction systems for temporal logic
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tablea...
Idioma: | English English |
---|---|
Publicación: |
2013
|
Materia: | |
Acceso electrónico: |
http://hdl.handle.net/10810/10332 |