Login / Signup
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.
Guillaume Aucher
Johan van Benthem
Davide Grossi
Published in:
LORI (2015)
Keyphrases
</>
modal logic
high level
relational databases
probabilistic model
probabilistic inference