Tableaux for Non-normal Public Announcement Logic.

Minghui Ma Katsuhiko Sano François Schwarzentruber Fernando R. Velázquez-Quesada

Published in: ICLA (2015)

Keyphrases

functional dependencies
decision procedures
database
real world
case study
database systems
modal logic
artificial intelligence
search algorithm
object oriented