The Ultimate Undecidability Result for the Halpern-Shoham Logic.

Jerzy Marcinkowski Jakub Michaliszyn

Published in: LICS (2011)

Keyphrases

temporal logic
description logics
formal theory
modal logic
artificial intelligence
logic programming
np complete
logical framework
modal operators
linear logic