Call-by-Name and Call-by-Value in Normal Modal Logic.

Yoshihiko Kakutani

Published in: APLAS (2007)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
prime implicates
conditional logic
classical logic
situation calculus
nonmonotonic logics
higher order
autoepistemic logic
modal operators
sequent calculus
cooperative
inductive learning
expert systems