Login / Signup
On Kripke's Puzzle about Time and Thought.
Rohit Parikh
Published in:
ICLA (2013)
Keyphrases
</>
modal logic
desirable properties
temporal logic
inference rules
fifty years
model checking
cooperative
object recognition
state space
sliding tile
information extraction
database
dynamic programming
viewpoint
relational databases
search algorithm
three dimensional