A complete axiomatic characterization of first-order temporal logic of linear time

DOI10.1016/0304-3975(87)90129-0zbMATH Open0645.03020OpenAlexW2074329619WikidataQ127491328 ScholiaQ127491328MaRDI QIDQ1102941FDOQ1102941

Authors: Andrzej Szałas 

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90129-0

Recommendations

• scientific article; zbMATH DE number 1059322
• Completeness theorem for a first order linear-time logic
• Arithmetical axiomatization of first-order temporal logic
• The power of temporal proofs
• Axiomatising first-order temporal logic: Until and since over linear time

zbMATH Keywords

concurrent programscorrectness of a concurrent version of Quicksortfirst order temporal logic of linear and discrete time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Concerning the semantic consequence relation in first-order temporal logic
• Incompleteness of first-order temporal logic with until
• Arithmetical axiomatization of first-order temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A generalized nexttime operator in temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness Proofs for Some Logics of Programs
• Title not available (Why is that?)

Cited In (26)

• Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
• Arithmetical axiomatization of first-order temporal logic
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• Title not available (Why is that?)
• Invertible infinitary calculus without loop rules for restricted FTL
• Decidability and incompleteness results for first-order temporal logics of linear time
• A bounded domain property for an expressive fragment of first-order linear temporal logic
• Similarity saturation for first order linear temporal logic with UNLESS
• A note on infinitary continuous logic
• Title not available (Why is that?)
• An approach to infinitary temporal proof theory
• The logic of ``initially and ``next: complete axiomatization and complexity
• Axiomatising first-order temporal logic: Until and since over linear time
• The power of temporal proofs
• The temporal logic of linear time frames with inductions axiom
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• On temporal logics with data variable quantifications: decidability and complexity
• Proof-theoretical investigation of temporal logic with time gaps
• Axiomatizing fixpoint logics
• Title not available (Why is that?)
• Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
• Completeness theorem for a first order linear-time logic
• Concerning the semantic consequence relation in first-order temporal logic
• Title not available (Why is that?)
• On the axiomatizability of some first-order spatio-temporal theories
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

This page was built for publication: A complete axiomatic characterization of first-order temporal logic of linear time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102941)