Effective Properties of Some First-Order Intuitionistic Modal Logics.

Aida Pliuskeviciene

Published in: FTP (LNCS Selection) (1998)

Keyphrases

modal logic
classical logic
inference rules
decision procedures
conditional logic
first order logic
nonmonotonic logics
epistemic logic
kripke models
search algorithm
data model
logic programming
temporal logic
default logic