Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
type: Item
instance of: scholarly article
title: Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
zbMATH Open document ID: 0928.03021
DOI: 10.1007/BF02358998
published in: Journal of Mathematical Sciences (New York)
publication date: 1999-11-22T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1364697
zbMATH Keywords: saturated calculus
zbMATH Keywords: Horn-like sequents
zbMATH Keywords: linear temporal logic
zbMATH Keywords: inductive reasoning
zbMATH Keywords: decidability
author: R. Pliuškevičius
MaRDI profile type: Publication
cites work: Sequential Calculus for a First Order Infinitary Temporal Logic
cites work: On the interpretability of arithmetic in temporal logic
cites work: Decidability and incompleteness results for first-order temporal logics of linear time
cites work: Q4260367
cites work: Q4282615
cites work: Concerning the semantic consequence relation in first-order temporal logic
cites work: A complete axiomatic characterization of first-order temporal logic of linear time
cites work: Q3710510
full work available at URL: https://doi.org/10.1007/bf02358998
OpenAlex ID: W2026575140
description: scientific article; zbMATH DE number 1364697