Keyphrases
- formal language
- programming language
- language learning
- proof theory
- dynamic logic
- information security
- operational semantics
- multi valued
- highly expressive
- intrusion detection
- network security
- conditional logic
- formal theory
- agent programming
- security requirements
- intuitionistic logic
- access control
- natural language
- formal logic
- modal operators
- monadic second order logic
- predicate calculus
- security level
- model theoretic
- linguistic knowledge
- security issues
- modal logic
- database language
- mathematical theory
- security policies
- query language