Pages that link to "Item:Q857669"
From MaRDI portal
The following pages link to Moment/history duality in Prior's logics of branching-time (Q857669):
Displaying 6 items.
- Alternatives to histories? Employing a local notion of modal consistency in branching theories (Q488365) (← links)
- Undivided and indistinguishable histories in branching-time logics (Q1289103) (← links)
- Topological aspects of branching-time semantics (Q1419382) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)