Login / Signup

Analyzing completeness of axiomatic functional systems for temporal × modal logics.

Alfredo BurriezaInmaculada Perez de GuzmánEmilio Muñoz-Velasco
Published in: Math. Log. Q. (2010)
Keyphrases
  • modal logic
  • knowledge base
  • search algorithm
  • temporal logic
  • inference rules
  • temporal data
  • nonmonotonic logics
  • epistemic logic