On variable separation in modal and superintuitionistic logics.

Larisa Maksimova

Published in: Stud Logica (1995)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
expressive power
information retrieval
inference rules
conditional logic
propositional logic
modal operators
data mining
model checking
epistemic logic
dynamic logic