Pages that link to "Item:Q915718"

The following pages link to On the interpretability of arithmetic in temporal logic (Q915718):

Displaying 7 items.

• A decidability result for the model checking of infinite-state systems (Q438572) (← links)
• Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
• Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
• Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
• The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
• LTL over integer periodicity constraints (Q2503321) (← links)
• Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)