Concerning the semantic consequence relation in first-order temporal logic

DOI10.1016/0304-3975(86)90157-XzbMath0622.03012OpenAlexW2031440740MaRDI QIDQ1090673

Andrzej Szałas

Publication date: 1986

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90157-x

zbMATH Keywords

completenessdiscrete timetemporal logiclinear timeaxiomatizationsemantic consequence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (27)

Completeness of a first-order temporal logic with time-gaps ⋮ Decidability and incompleteness results for first-order temporal logics of linear time ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Arithmetical axiomatization of first-order temporal logic ⋮ A note on infinitary continuous logic ⋮ A complete axiomatic characterization of first-order temporal logic of linear time ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus ⋮ Incompleteness of first-order temporal logic with until ⋮ Programming in metric temporal logic ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ A decidability result for the model checking of infinite-state systems ⋮ On the interpretability of arithmetic in temporal logic ⋮ Foundations of linear-time logic programming ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ Mechanising first-order temporal resolution ⋮ On strictly arithmetical completeness in logics of programs ⋮ A structured temporal logic language: XYZ/SE ⋮ Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas ⋮ Decidable fragments of first-order temporal logics ⋮ Invertible infinitary calculus without loop rules for restricted FTL ⋮ Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic

Cites Work

• Incompleteness of first-order temporal logic with until
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Concerning the semantic consequence relation in first-order temporal logic