Logic of change, change of logic.

Hans van Ditmarsch Brian Hill Ondrej Majer

Published in: Synth. (2009)

Keyphrases

modal logic
logic programming
real time
data sets
computer vision
image sequences
similarity measure
natural language
information technology
expressive power
changing environment
automated reasoning
computational properties
proof theory
delay insensitive