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

Fengkui Ju Gianluca Grilletti Valentin Goranko

Published in: Advances in Modal Logic (2018)

Keyphrases

modal logic
linear temporal logic
spatio temporal
multi valued
optimal solution
closed form
solution quality
integer programming
data sets
neural network
multi objective
logic programming
mathematical model
temporal databases
exact solution
classical logic