Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models.

Agata Ciabattoni

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

Keyphrases

kripke models
modal logic
sequent calculi
temporal logic
decision procedures
inference rules
classical logic
multi agent
conditional logic
action theories
reasoning problems
default logic
expressive power
fuzzy logic