On axiomatizations of public announcement logic.

Yanjing Wang Qinxiang Cao

Published in: Synth. (2013)

Keyphrases

decision procedures
modal logic
database
theorem proving
automated reasoning
conditional logic
data analysis
expert systems
software engineering
conjunctive queries
constraint satisfaction
data warehouse
random variables