Temporal Logics of Knowledge and their Applications in Security.
Clare DixonM. Carmen Fernández GagoMichael FisherWiebe van der HoekPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- temporal logic
- temporal knowledge
- knowledge base
- model checking
- mazurkiewicz traces
- modal logic
- domain knowledge
- access control
- satisfiability problem
- predicate logic
- knowledge based systems
- special case
- modal operators
- expert systems
- data mining techniques
- knowledge representation
- semantic network
- concurrent systems