Stit semantics for epistemic notions based on information disclosure in interactive settings.
Aldo Iván Ramírez AbarcaJan M. BroersenPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- logical framework
- epistemic logic
- information disclosure
- multi agent systems
- plausible inference
- inference rules
- reasoning tasks
- belief revision
- model theoretic
- belief change
- possibilistic logic
- privacy concerns
- cost benefit
- user interaction
- description logics
- cooperative
- databases
- modal operators
- logic programming
- data mining