On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
type: Item
instance of: scholarly article
title: On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
zbMATH Open document ID: 1026.03012
DOI: 10.1023/A:1013864621946
published in: Lithuanian Mathematical Journal
publication date: 2003-05-19T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1912594
zbMATH Keywords: completeness
zbMATH Keywords: decidability
zbMATH Keywords: Horn-like sequents
zbMATH Keywords: first-order linear temporal logic
zbMATH Keywords: omega-rule
zbMATH Keywords: saturated \(D_2\)-sequents
author: R. Pliuškevičius
MaRDI profile type: Publication
full work available at URL: a:1013864621946
OpenAlex ID: W151660158
description: scientific article; zbMATH DE number 1912594