Pages that link to "Item:Q857669"

The following pages link to Moment/history duality in Prior's logics of branching-time (Q857669):

Displaying 3 items.

• First-order definability of transition structures (Q2322984) (← links)
• Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
• Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)