Modal Strength Reduction in Quantified Discrete Duration Calculus.

Shankara Narayanan Krishna Paritosh K. Pandya

Published in: FSTTCS (2005)

Keyphrases

discrete geometry
information retrieval
modal logic
reduction method
data sets
multiscale
relational calculus
transition systems