A uniform tableau method for intuitionistic modal logics I.

Giambattista Amati Fiora Pirri

Published in: Stud Logica (1994)

Keyphrases

significant improvement
detection method
objective function
modal logic
similarity measure
dynamic programming
high accuracy
segmentation method
clustering method