A Sequent Calculus for a Modal Logic on Finite Data Trees.

David Baelde Simon Lunel Sylvain Schmitz

Published in: CSL (2016)

Keyphrases

modal logic
inference rules
sequent calculus
training data
probability distribution
multi agent
relational databases
temporal logic
situation calculus