Rough Polyadic modal logics.

Dimiter Vakarelov

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
rough sets
conditional logic
nonmonotonic logics
epistemic logic
classical logic
situation calculus
default logic
autoepistemic logic
special case