Semantic Information Processing

Semantic Information Theory

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Categorial Grammar: Logical Syntax, Semantics, and Processing (Oxford Linguistics)

Information Structuring in Discourse: 40 (Current Research in the Semantics / Pragmatics Interface, 40)