scientific article; zbMATH DE number 4139719

MaRDI QIDQ3472083zbMATHFDO

Authors Ildikó Sain

Publication date 1989

zbMATH Keywords

temporal logicclock conditionarithmetical structures

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 17797
• Arithmetical axiomatization of first-order temporal logic
• Publication:4733377
• Concerning the semantic consequence relation in first-order temporal logic
• scientific article; zbMATH DE number 4053579

Cited in

(6)

• Expressibility of output equals input. Negative and positive results
• scientific article; zbMATH DE number 4081516 (Why is no real title available?)
• scientific article; zbMATH DE number 2038760 (Why is no real title available?)
• The arrow of time through the lens of computing
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• On the strength of temporal proofs

This page was built for publication:

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