Towards an algebrization of a linear temporal logic
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects. In this context, the validity of a proposition is s...
Gardado en:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Português |
| Publicado: |
UNESP
2025-07-01
|
| Series: | CQD Revista Eletrônica Paulista de Matemática |
| Assuntos: | |
| Acceso en liña: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|