Pages that link to "Item:Q913784"

The following pages link to Corrigendum to: ``The power of temporal proofs'' (Q913784):

Displaying 3 items.

• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• Temporal logics need their clocks (Q1186428) (← links)
• A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)