Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic

DOI10.1007/BF02358998zbMath0928.03021OpenAlexW2026575140MaRDI QIDQ1807462

Regimantas Pliuškevičius

Publication date: 22 November 1999

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02358998

zbMATH Keywords

decidabilitylinear temporal logicinductive reasoningHorn-like sequentssaturated calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the interpretability of arithmetic in temporal logic
• Concerning the semantic consequence relation in first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Decidability and incompleteness results for first-order temporal logics of linear time

This page was built for publication: Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic