Pages that link to "Item:Q1389439"

The following pages link to Axiomatising extended computation tree logic (Q1389439):

Displaying 1 item.

• A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)