Logics with counting and equivalence.

Ian Pratt-Hartmann

Published in: CSL-LICS (2014)

Keyphrases

expressive power
modal logic
propositional dynamic logic
inference rules
database
machine learning
proof theory
propositional calculus
interactive dynamic influence diagrams
neural network
computational properties