Inverses for Normal Modal Operators.

Lloyd Humberstone Timothy Williamson

Published in: Stud Logica (1997)

Keyphrases

modal operators
modal logic
sufficient conditions
description logics
dynamic logic
temporal logic
situation calculus
decision trees
general purpose
partially ordered
nonmonotonic logics
concept description language
multi dimensional