Algebra and Sequent Calculus for Epistemic Actions.

Alexandru Baltag Bob Coecke Mehrnoosh Sadrzadeh

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
query language
data model
modal logic
linear time temporal logic
situation calculus
belief change
decision theoretic
theorem proving
machine learning
graphical models
reinforcement learning
bayesian networks