Models for stronger normal intuitionistic modal logics.

Published in: Stud Logica (1985)

Keyphrases

modal logic
classical logic
temporal logic
probabilistic model
inference rules
fuzzy set theory
decision procedures
cooperative
xml documents
sufficient conditions
conjunctive queries