Pages that link to "Item:Q1289103"
From MaRDI portal
The following pages link to Undivided and indistinguishable histories in branching-time logics (Q1289103):
Displaying 9 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Transition semantics for branching time (Q302231) (← links)
- The truth about the future (Q488366) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- Topological aspects of branching-time semantics (Q1419382) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate (Q2219140) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)