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

DOI10.1016/0304-3975(87)90129-0MaRDI QIDQ1102941zbMATHOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3898203 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 3686773 (Why is no real title available?)
• scientific article; zbMATH DE number 3755842 (Why is no real title available?)
• scientific article; zbMATH DE number 3778720 (Why is no real title available?)
• scientific article; zbMATH DE number 3581596 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A generalized nexttime operator in temporal logic
• Arithmetical axiomatization of first-order temporal logic
• Completeness Proofs for Some Logics of Programs
• Concerning the semantic consequence relation in first-order temporal logic
• Incompleteness of first-order temporal logic with until

Cited in

(26)

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

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)