Login / Signup
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.
Y. S. Ramakrishna
P. M. Melliar-Smith
Louise E. Moser
Laura K. Dillon
George Kutty
Published in:
Theor. Comput. Sci. (1996)
Keyphrases
</>
decision procedures
modal logic
real time
automated reasoning
temporal logic
inference rules
model theoretic
theorem proving
conditional logic
epistemic logic
classical logic
nonmonotonic logics
sequent calculi
proof theory
reasoning problems
conjunctive queries
expressive power
default logic