Login / Signup
A First Study of the Horn Fragment of the Modal Logic of Time Intervals.
Davide Bresolin
Emilio Muñoz-Velasco
Guido Sciavicco
Published in:
CILC (2014)
Keyphrases
</>
modal logic
temporal logic
np hard
empirical studies
artificial intelligence
epistemic logic