Login / Signup
Free-variable Tableaux for Monotonic PreordersI.
Pedro J. Martín
Antonio Gavilanes
Published in:
Log. J. IGPL (2001)
Keyphrases
</>
modal logic
high level
functional dependencies
decision procedures