Modifier Logics Based on Graded Modalities.

Jorma K. Mattila

Published in: J. Adv. Comput. Intell. Intell. Informatics (2003)

Keyphrases

expressive power
modal logic
cross modal
inference rules
classical logic
databases
decision procedures
epistemic logic
propositional calculus
propositional dynamic logic
real time
information retrieval
website
multi modal
nonmonotonic logics
alternating time temporal logic