Login / Signup
Parallel Dialogue Games and Hypersequents for Intermediate Logics.
Christian G. Fermüller
Published in:
TABLEAUX (2003)
Keyphrases
</>
dialogue games
modal logic
inference rules
artificial intelligence and law