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

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

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)

• 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
• Invertible infinitary calculus without loop rules for restricted FTL
• scientific article; zbMATH DE number 4053579 (Why is no real title available?)
• Decidability and incompleteness results for first-order temporal logics of linear time
• Similarity saturation for first order linear temporal logic with UNLESS
• A bounded domain property for an expressive fragment of first-order linear temporal logic
• A note on infinitary continuous logic
• scientific article; zbMATH DE number 2047494 (Why is no real title available?)
• 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 ^2
• On temporal logics with data variable quantifications: decidability and complexity
• Axiomatizing fixpoint logics
• Proof-theoretical investigation of temporal logic with time gaps
• scientific article; zbMATH DE number 1088203 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• 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)