Так, что касается логики. Я тут подумал над всякими временными парадоксами и пр. и считаю, что если пытаться построить механику времени прям с парадоксами (т.е. без разветвлений, а именно вот тебе настоящий существующий парадокс), то изволь использовать более слабую версию логики, чем обычная аксиоматизация. Какой-нибудь вариант паранепротиворечивой логики. Но есть беда: на эту тему я в своё время гуглил-гуглил - книг на русском нету:( Пытаться разобраться в и так сложной теме через сканы английских книг - это безнадёга:( Поэтому тут я лично утыкаюсь в тупик. XOR, может, у тебя навыки гуглинга или просто знание рыбных мест на предмет книжки с разбором-сравнением паранепротиворечивых логик получше, чем у меня? Нету ли чего на русском?