Logical Omniscience in the Semantics of BAN Logics
Year: 2003
Type: article
Authors: Mika Cohen, Mads Dam
Institution: KTH Royal Institute of Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W67051990