Disjunctive bases: normal forms and model theory for modal logics.

Sebastian Enqvist Yde Venema

Published in: CoRR (2017)

Keyphrases

normal form
modal logic
inference rules
query processing
probability distribution
management system