Login / Signup
Analyzing completeness of axiomatic functional systems for temporal × modal logics.
Alfredo Burrieza
Inmaculada Perez de Guzmán
Emilio 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