Login / Signup

Functional systems in the context of temporal×modal logics with indexed flows.

Alfredo BurriezaInman P. de GuzmánEmilio Muñoz-Velasco
Published in: Int. J. Comput. Math. (2009)
Keyphrases
  • modal logic
  • decision procedures
  • spatio temporal
  • inference rules
  • temporal logic
  • epistemic logic
  • expert systems
  • special case
  • query language
  • context aware
  • temporal information
  • classical logic