An Infinitary Graded Modal Logic (Graded Modalities VI).

Maurizio Fattorosi-Barnaba Silvano Grassotti

Published in: Math. Log. Q. (1995)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
epistemic logic
classical logic
nonmonotonic logics
conditional logic
dynamic logic
prime implicates
bayesian networks
cooperative
default logic
modal operators