Two-dimensional modal logic.

Krister Segerberg

Published in: J. Philos. Log. (1973)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
three dimensional
epistemic logic
situation calculus
classical logic
nonmonotonic logics
conditional logic
multi dimensional
prime implicates
dynamic logic
explanation based generalization
default logic
bayesian networks
artificial intelligence