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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолчид:	Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini
Формат:	Artigo
Хэл сонгох:	Português
Хэвлэсэн:	UNESP 2025-07-01
Цуврал:	CQD Revista Eletrônica Paulista de Matemática
Нөхцлүүд:	Logic Algebraic Logic Temporal Logic Neighbourhood Logic
Онлайн хандалт:	https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!