• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A uniform tableau method for intuitionistic modal logics I.

Giambattista AmatiFiora 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