Tableaux for Logics of Subinterval Structures over Dense Orderings.

Davide Bresolin Valentin Goranko Angelo Montanari Pietro Sala

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

Keyphrases

modal logic
decision procedures
expressive power
sequent calculi
temporal logic
data sets
artificial intelligence
information systems
database systems
query language
inference rules
classical logic