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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
UNESP
2025-07-01
|
| Series: | CQD Revista Eletrônica Paulista de Matemática |
| Subjects: | |
| Online Access: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|