Filtration and canonical completeness for continuous modal mu-calculi.

Jan Rooduijn Yde Venema

Published in: GandALF (2021)

Keyphrases

modal logic
multiscale
piecewise linear
data sets
website
database systems
temporal logic
sequent calculi