Extended Disjunction and Existence Properties for Some Predicate Modal Logics.

Aida Pliuskeviciene

Published in: Log. J. IGPL (1998)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
classical logic
nonmonotonic logics
kripke models
dynamic logic
computational complexity
logic programs
first order logic
temporal reasoning
epistemic logic