Completeness classes for intuitionistic first-order temporal logic with time gaps

There is not abstract.

Bibliographic Details
Main Author:	Romas Alonderis
Format:	Article
Language:	English
Published:	Vilnius University Press 2023-11-01
Series:	Lietuvos Matematikos Rinkinys
Subjects:	completeness classes temporal logic time gaps
Online Access:	https://www.journals.vu.lt/LMR/article/view/26671

Internet