Sign in
A Dynamic Logic of the Right to Know.
Xu Li
Réka Markovich
Published in:
DEON (2023)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
artificial intelligence
modal operators
agent programming
imperative programs
classical first order logic
first order logic
multiple input
temporal logic
situation calculus