Multi-type display calculus for propositional dynamic logic.

Sabine Frittella Giuseppe Greco Alexander Kurz Alessandra Palmigiano

Published in: J. Log. Comput. (2016)

Keyphrases

multi type
propositional dynamic logic
data objects
relational data
cost model
dynamic logic
reasoning about actions
reverse nearest neighbor
multiple types
query optimization
databases