Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.

Agata Ciabattoni Mauro Ferrari

Published in: TABLEAUX (2000)

Keyphrases

sequent calculi
shortest path
expressive power
modal logic
database
expert systems
computational properties
relational databases