Acta Structuralica
international journal for structuralist research
Journal | Authors
Branching time, indeterminism and tense logic
2012
Thomas PlougPeter Øhrstrøm
Synthese 188/3