Minimal non-relevant logics without the K axiom.

Gemma Robles José M. Méndez

Published in: Reports Math. Log. (2007)

Keyphrases

modal logic
inference rules
closely related
expressive power
machine learning
database
higher level
epistemic logic