Here and There Modal Logic with Dual Implication.

Philippe Balbiani Martín Diéguez

Published in: Advances in Modal Logic (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
prime implicates
dynamic logic
default logic
sequent calculus
explanation based generalization
relational databases
conditional logic
functional dependencies
dynamic programming