Login / Signup
-admissibility of Relevant Modal Logics II - The Method using Metavaluations.
Takahiro Seki
Published in:
Stud Logica (2011)
Keyphrases
</>
cost function
clustering method
similarity measure
cooperative
preprocessing
significant improvement
high accuracy
modal logic
segmentation method
first order logic
integrity constraints