Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings.

Aldo Iván Ramírez Abarca Jan M. Broersen

Published in: DaLí (2019)

Keyphrases

logical framework
epistemic logic
information disclosure
multi agent systems
plausible inference
belief revision
model theoretic
inference rules
reasoning tasks
possibilistic logic
logic programming
privacy concerns
modal operators
logic programs
multi agent
modal logic
user interaction
cost benefit