Login / Signup
The Impact of Including Model Update Operators in Modal Logics.
Raul Fervari
Published in:
ESSLLI Student Sessions (2013)
Keyphrases
</>
integrity constraints
inference rules
logical framework