A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.

Fengkui Ju, Gianluca Grilletti, Valentin Goranko

Browse the full AiML paper archive.